System design for enhanced forward-engineering possibilities of safety critical embedded systems
- 1 April 2014
Abstract
Due to the high overall complexity of embedded systems in the automotive domain, the concept and system design phases have shown to be important, as they lay the foundations for implementations. Therefore, front-loading principles are advantageous. In this work, we present a methodology for semi-formal notation based system design. In the end, we demonstrate a transformation scheme for the conversion from system models to executable code, featuring full traceability and support for hardware and software paradigms. An automotive use case demonstrates the capabilities of the outlined approach.Keywords
This publication has 4 references indexed in Scilit:
- System Modeling for Integration and Test of Safety-Critical Automotive Embedded SystemsSAE International Journal of Advances and Current Practices in Mobility, 2013
- Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemCPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2010
- System-Level Modeling and Design Using SysML and SystemCPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- Modeling SystemC design in UML and automatic code generationPublished by Association for Computing Machinery (ACM) ,2005