V-model and its variants have become the most common process models adopted in
automotive industry guiding the development of systems on a variety of refinement levels …

Software ecosystems are emerging as an alternative approach for the development of
complex software systems. The potentially transformational benefits of software ecosystems …

This open access book coherently gathers well-founded information on the fundamentals of
and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross …

Recent experience in the avionics sector has demonstrated the benefits of using rigorous
system architectural models, such as those supported by the standard Architectural and …

Develo** and certifying safety-critical and highly reliable systems almost always includes
significant emphasis on hazard analysis and risk assessment. There have been substantial …

Successful architecting of complex systems requires reconciling heterogeneous viewpoints
expressed by the stakeholders involved in the development process, including domain and …

Correct design, and system-level dependability prediction of highly-integrated systems
demand the collocation of requirements and architectural artifacts within an integrated …

Train control systems like most digital controllers are, by definition, hybrid systems as they
interact with or try to control some aspects of the physical world. Detailed behavior modeling …

This article explores the challenges in Model Synchronization in Model Driven Engineering,
focusing on Information Preservation. It introduces modern architecture description …

Safety-critical systems have become increasingly software reliant and the current
development process of¿ build, then integrate¿ has become unaffordable. This paper …