The growing number of vehicles daily moving on roads increases the need of protecting the
safety and security of passengers, pedestrians, and vehicles themselves. This need is …

Using model-based approaches for designing embedded systems helps abstract away
unnecessary details in a manner that increases the potential for easy validation and …

This book describes the technical outcomes of CESAR, a project funded in partnership
between the ARTEMIS Joint Undertaking and national authorities. From March 2009 through …

Requirements traceability modeling is a key issue in real-time embedded design process. In
such systems, requirements are of different nature (software-related, system-related …

System engineering (SE) using models (MBSE) is currently in vogue in the community of SE
practitioners, whether they are analysts, architects, developers or testers. INCOSE has …

This work presents a model-driven requirement engineering approach for the embedded
software domain. This approach is based on UML, MARTE and SysML standard notations …

This paper resumes the requirements engineering in a model-based methodology for
embedded automotive software. The methodology relies on two standard languages: EAST …

This article provides an overview of current efforts in Europe for using metamodeling in the
integrated development of critical systems such as automotive electronics. It distinguishes …

Safety engineering analysis is a mandatory stage in the design of critical embedded
automotive systems. The derivation of safety requirements and their verification require …

Requirements traceability provides support to check that the final system meets
stakeholders' requirements. Although the important role of requirements traceability is widely …