Abstract
As system complexities are growing with increasing numbers of requirements, the difficulties to manage, process and verify natural language requirements and to keep quality are also increasing. In safety-related applications, as in the automotive domain, this necessity is more pronounced because of the regulations and standards imposed by authorities. Semi-formal representation of requirements is an approach that helps making them more understandable and rigorous.
This chapter deals with semi-formal representation using SysML of two automotive analogue-mixed signal systems, an electronic power switch and an airbag safety circuit. We use diagram-based modelling in order to represent requirements, structure and behaviour, enabling the linking different elements that define the composition and the functionalities of the desired product. We focus on the particular behaviour of such devices and the continuous quantities related to them with emphasis on the two real scenarios.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
OMG System Modeling Languages. http://www.omgsysml.org/. 13 Feb 2014 (01 May 2015)
International Council of Systems Engineering. http://www.incose.org/. 02 Apr 2014 (01 May 2015)
Collins, M.: Dependable Embedded Systems, Topic: “Formal Methods.” Carnegie Mellon University (1998). https://www.ece.cmu.edu/~koopman/des_s99/formal_methods/
Broadfoot, G.H.: ASD case notes: Costs and benefits of applying formal methods to industrial control software. In: FM 2005: Formal Methods. LNCS, vol. 3582, pp. 548–551. Springer (2005)
Eltahir, S., Musa, M.: On practicality of using integrated semi-formal modeling tools. In: The International Arab Conference on Information Technology, 2008
Unified Modeling Language (UML). http://www.uml.org/. 14 Feb 2014 (01 May 2015)
Feiler, P.H., Gluch, D.O.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley Professional (2012)
Architecture Analysis & Design Language (AADL). http://www.aadl.info/aadl/currentsite/ (2012) (01 May 2015)
EAST-ADL. http://www.east-adl.info/ (2014) (05 May 2014)
Modeling and Analysis of Real-time and Embedded systems (MARTE). http://www.omg.org/omgmarte/Tutorial.htm (2008) (01 May 2015)
Evensen, K.D., Weiss, K.A.: A comparison and evaluation of real-time software systems modeling languages. Presented at the Aerospace Conference, Georgia, Atlanta, 2010
Helming, J., Koegel, M., Schneider, M., Haeger, M., Kaminski, C., Bruegge, B., Berenbach, B.: Towards a unified requirements modeling language. In: Fifth International Workshop on Requirements Engineering Visualization (REV), 2010, pp. 53–57
Kaiser, B., Klaas, V., Schulz, S., Herbst, C., Lascych, P.: Integrating system modelling with safety activities. In: SAFECOMP Proceedings, 2010
Adedjouma M., Dubois, H., Maaziz, K., Terrier, F.: A model-driven requirement engineering process compliant with automotive domain standards. In: Model Driven Tool and Process Integration, 2010
Sontos, M.d., Vrancken, J.: Model-driven user requirements specification using SysML. J. Software 3, 57–68 (2008)
Wang, B., Baras, J.S.: Model-based design framework for wireless sensor networks using SysML, Simulink and Modelica. https://www.src.org/library/publication/p061828/. 28 Oct 2011
Mueller, W., He Da, Mischkalla, F., Wegele, A., Whiston, P., Peñil, P., Villar, E., Mitas, N., Kritharidis, D., Azcarate, F., Carballeda, M.: The SATURN approach to SysML-Based HW/SW Codesign. In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2010, pp. 506–511
Mischkalla, F., He Da, Mueller, W.: Code generation for QEMU/SystemC Cosimulation from Cosimulation from SysML. Presented at the MeCoES Workshop, 2012
Waseem, R.: Accelerating High-Level SysML and SystemC SoC Designs. http://www.design-reuse.com/articles/17562/high-level-sysml-systemc-soc-designs.html (01.06.2015)
Infineon Technologies AG: Product_Brief: BTT6050-2EKA (Truck device) PROFET™ + 24V. http://www.infineon.com/dgdl?folderId=db3a30431400ef68011421b54e2e0564&fileId=db3a30433784a0400137984c3a63271b&intc=0120035 (01.06.2015)
Infineon Technologies AG: Introduction to PROFET™. http://www.infineon.com/dgdl/Introduction+to+PROFET%E2%84%A2.pdf?folderId=db3a30431400ef68011421b54e2e0564&fileId=db3a304332ae7b090132b527d9173083 (01.06.2015)
Infineon Technologies AG: Protected high side drivers. In: Bridging Theory into Practice – Fundamentals of Power Semiconductors for Automotive Applications, 2nd edn. pp. 125–149. Infineon Technologies AG, Munich (2008)
Burton, D., Delaney, A., Newstead, S., Logan, D., Fildes, B.: Effectiveness of ABS and vehicle stability control systems. RACV Research Report (April, 2004). http://www.monash.edu.au/miri/research/reports/other/racv-abs-braking-system-effectiveness.pdf (24 Apr 2014)
Petin, J.-F., Evrot, D., Morel, G., Lamy, P.: Combining SysML and formal models for safety requirements verification. In: International Conference on software & Systems Engineering and their Application, 2010
Bryans, J., Payne, R., Holt, J., Perry, S.: Semi-formal and formal interface specification for system of systems architecture. In: IEEE International Systems Conference (SysCon), 2013, pp. 612–619
Jarraya, Y., Soeanu, A., Debbabi, M., Hassaine, F.: 10-Automatic verification and performance analysis of time-constrained SysML activity diagrams. In: IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2007, pp. 515–522
Gnaho, C., Semmak, F., Belkaid, Y., Laleau, R.: Goal-based requirements engineering in topcased environment. Presented at the TopCased Days, Paris, France, 2011. http://gforge.enseeiht.fr/docman/view.php/52/4276/A1-LACL.pdf (05.05.2014)
Hove, D., Goknil, A., Kurtev, I., Berg, K., Goede, K.: Change impact analysis for SysML requirements models based on semantics of trace relations. Presented at the ECMDA Traceability Workshop, Enschede, Netherlands, 2009
Favaro, J., Koning, H.-P., Schreiner, R., Olive, X.: Next generation requirements engineering. http://www.intecs.it/PDF/NextGenRE_INCOSE_FINAL_2012.pdf (01.06.2015)
Bachhuber, A.: Requirements engineering in the product life cycle of continental automotive. Presented at the RFConf, Munich, German, 2013. http://www.hood-group.com/fileadmin/project/reconf/VortraegePDF/mm3_bachhuber_requirements_engineering_in_the_product_life_cycle_of_continental_automotive.pdf (01.06.2015)
Infineon Technologies AG: Smart high side switch. http://www.infineon.com/profet (01.06.2015)
Acknowledgments
The research leading to these results has received funding from the ARTEMIS Joint Undertaking under grant agreement Nr. 295311 and the Austrian Research Promotion Agency FFG under the program “Forschung, Innovation und Technologie für Informationstechnologien (FIT-IT)”.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Muşat, L., Hübl, M., Buzo, A., Pelz, G., Kandl, S., Puschner, P. (2016). Semi-formal Representation of Requirements for Automotive Solutions Using SysML. In: Oppenheimer, F., Medina Pasaje, J. (eds) Languages, Design Methods, and Tools for Electronic System Design. Lecture Notes in Electrical Engineering, vol 361. Springer, Cham. https://doi.org/10.1007/978-3-319-24457-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-24457-0_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-24455-6
Online ISBN: 978-3-319-24457-0
eBook Packages: EngineeringEngineering (R0)