Abstract
Using simulation monitors that are formally defined and automatically synthesized is already part of the standard methodology of hardware design and verification. However, this is not yet the case in the domain of systems engineering for cyber-physical systems. The growing trend towards model-based systems engineering is making the use of simulation monitors more relevant and possible. Recent related work focuses almost exclusively on the aspects of requirements specification. In this work, we explain how monitors can play a much more pervasive role in systems engineering, going beyond merely checking requirements. We describe how monitors can be used along the entire product lifecycle, from early design alternative analysis to final field testing. This work also covers the special considerations that must be addressed when designing a monitor specification language, specifically in the context of systems engineering. Our focus is on the practical issues related to the use of monitors and describes a prototype monitor specification and synthesis platform applied to the hybrid simulation of an automotive subsystem.
The research leading to these results has received funding from the European Union Seventh Framework Programme (FP7/2011-2014) under grant agreement n° 287716.
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 subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Wile, B., Goss, J.C., Roesner, W.: Comprehensive Functional Verification - The Complete Industry Cycle. Morgan Kaufmann (2005)
Eisner, C., Fisman, D.: A Practical Introduction to PSL. Springer US (2006)
Vijayaraghavan, S., Ramanathan, M.: A Practical Guide for SystemVerilog Assertions. Springer (2005)
Boulé, M., Zilic, Z.: Automata-Based Assertion-Checker Synthesis of PSL Properties. ACM Transactions on Design Automation of Electronic Systems (TODAES) 13(1), 4 (2008)
Abarbanel, Y., Beer, I., Gluhovsky, L., Keidar, S., Wolfsthal, Y.: FoCs - Automatic Generation of Simulation Checkers from Formal Specifications. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855, pp. 538–542. Springer, Heidelberg (2000)
INCOSE: What is Systems Engineering?, http://www.incose.org/practice/whatissystemseng.aspx
Engel, A.: Verification, Validation, and Testing of engineered Systems. Wiley (2010)
SPEculative and Exploratory Design in Systems Engineering, http://www.speeds.eu.com
Benveniste, A., Raclet, J.B., Caillaud, B., Nickovic, D., Passerone, R., Sangiovanni-Vincentelli, A., Henzinger, T., Larsen, K.G.: Contracts for the Design of Embedded Systems, Part II: Theory (2011) (submitted for publication)
Maler, O., Nickovic, D.: Monitoring Properties of Analog and Mixed-Signal Circuits. International Journal on Software Tools for Technology Transfer, 1–22 (2013)
Lachish, O., Marcus, E., Ur, S., Ziv, A.: Hole analysis for functional coverage data. In: The 39th proceedings of Design Automation Conference. pp. 807–812. IEEE (2002)
ISO 26262-1:2011 Road vehicels - Functional safety (2011), http://www.iso.org/iso/catalogue_detail?csnumber=43464
StClair, B., King, T.: DO-178C brings modern technology to safety-critical software development. Military Embedded Systems (March 2012)
Werner, D., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design 19(1), 45–80 (2001)
Mathworks: MATLAB/Simulink, a tool for modeling, simulating and analyzing multidomain dynamic systems, http://www.mathworks.com/products/simulink
Fritzson, P., Engelson, V.: Modelica - A Unified Object-Oriented Language for System Modeling and Simulation. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol. 1445, pp. 67–90. Springer, Heidelberg (1998)
OMG Systems Modeling Language (2010), http://www.omgsysml.org
Functional Mock-up Interface, https://www.fmi-standard.org
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer International Publishing Switzerland
About this paper
Cite this paper
Abel, A., Adir, A., Blochwitz, T., Greenberg, L., Salman, T. (2013). Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors. In: Bertacco, V., Legay, A. (eds) Hardware and Software: Verification and Testing. HVC 2013. Lecture Notes in Computer Science, vol 8244. Springer, Cham. https://doi.org/10.1007/978-3-319-03077-7_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-03077-7_13
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-03076-0
Online ISBN: 978-3-319-03077-7
eBook Packages: Computer ScienceComputer Science (R0)