Abstract
The next generation of automotive control software will run on complex networks of control units, connected by a multitude of different bus systems. With a rising number of safety-critical functions being realized (at least partly) in software, real-time requirements for distributed functions become more important (e.g., time until a system reacts to a perceived driving situation). Defining and refining such requirements consistently during system development is not trivial. Inconsistencies or unrealizability can easily be introduced when decomposing requirements (e.g., time budgets) for functions that run on multiple control units. The automotive industry is actively pursuing methods for finding such problems as early as possible in the system design. In this paper, we present some initial work on the automated verification of requirements on distributed control functions that are deployed to networks of automotive control units. The presented analysis provides insights into the consistency of requirements and relies only on information available at the end of the planning stage in the development process.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
TA Simulator. https://www.timing-architects.com/
UPPAAL. http://www.uppaal.org/
Blom, H., et al.: Timing model - tools, algorithms, languages, methodology, use cases. Technical report (2012)
Buttazzo, G.C.: Hard Real-Time Computing Systems. Springer, Boston (2011). https://doi.org/10.1007/978-1-4614-0676-1
Cho, B., Kim, T., Choi, J.-Y.: CAN database verification framework using UPPAAL. Int. J. Comput. Theor. Eng. 9(6), 438–442 (2017)
Cucinotta, T., et al.: A real-time service-oriented architecture for industrial automation. IEEE Trans. Ind. Inform. 5(3), 267–277 (2009)
Frey, P.: A timing model for real-time control-systems and its application on simulation and monitoring of AUTOSAR systems. Ph.D. thesis (2011)
Frtunikj, J.: Safety framework and platform for functions of future automotive E/E systems. Automot. Engine Technol. 1, 93–105 (2016)
Fuhrman, T., Wang, S., Jersak, M., Richter, K.: On designing software architectures for next-generation multi-core ECUs. SAE Int. J. Passeng. Cars Electron. Electr. Syst. 8, 115–123 (2015)
Kim, J.H., Larsen, K.G., Nielsen, B., Mikučionis, M., Olsen, P.: Formal analysis and testing of real-time automotive systems using UPPAAL tools. In: Núñez, M., Güdemann, M. (eds.) FMICS 2015. LNCS, vol. 9128, pp. 47–61. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-19458-5_4
Leteinturier, P., Brewerton, S., Scheibert, K.: Multicore benefits & challenges for automotive applications. In: SAE Technical Paper. SAE International, April 2008
Line, C., Manzie, C., Good, M.: Control of an electromechanical brake for automotive brake-by-wire systems with an adapted motion control architecture. In: SAE Technical Paper Series. SAE International, May 2004
Pan, C., Guo, J., Zhu, L., Shi, J., Zhu, H., Zhou, X.: Modeling and verification of CAN bus with application layer using UPPAAL. Electron. Notes Theor. Comput. Sci. 309, 31–49 (2014)
Pretschner, A., Broy, M., Kruger, I.H., Stauner, T.: Software engineering for automotive systems: a roadmap. In: Future of Software Engineering (FOSE 2007). IEEE, May 2007
Rettberg, A., Zanella, M.C., Amann, M., Keckeisen, M., Rammig, F.J. (eds.): IESS 2009. IFIPAICT, vol. 310. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-04284-3
Sagstetter, F.: Schedule synthesis for time-triggered automotive architectures. Dissertation, Technische Universität München, München (2016)
Scheickl, O.: Timing constraints in distributed development of automotive real-time systems. Dissertation, Technische Universität München, München (2011)
Schneider, R., Brewerton, S., Eberhard, D.: Multicore vs safety. In: SAE Technical Paper. SAE International, April 2010
Thane, H., Hansson, H.: Testing distributed real-time systems. Microprocess. Microsyst. 24(9), 463–478 (2001)
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Toennemann, J., Rausch, A., Howar, F., Cool, B. (2018). Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL. In: Howar, F., Barnat, J. (eds) Formal Methods for Industrial Critical Systems. FMICS 2018. Lecture Notes in Computer Science(), vol 11119. Springer, Cham. https://doi.org/10.1007/978-3-030-00244-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-00244-2_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-00243-5
Online ISBN: 978-3-030-00244-2
eBook Packages: Computer ScienceComputer Science (R0)