Towards an architecture-centric approach dedicated to model-based virtual integration for embedded software systems

International audienceCurrent embedded systems are increasingly more complexand heterogeneous, but they are expected to be more safe, reliable andadaptive. In consideration of all these aspects, their design is always agreat challenge. Developing these systems with conventional design approachesand programming methods turns out to be difficult. In thispaper, we mainly present the informative background and the generalidea of an ongoing yet young research project, including the modelbaseddesign and an architecture-centric approach, to address previouschallenges. Our idea adopts a formal-methods-based model integrationapproach, dedicated to architecture-centric virtual integration for embeddedsoftware systems, in an early design phase. We thus expect toimprove and enhance Correct By Construction in the design. The consideredformal methods consist of timing specification, design by contracts,and semantics interoperability for models to be integrated in the system.The application domains of our approach include automotive and avionicsystems

Towards an architecture-centric approach dedicated to model-based virtual integration for embedded software systems

International audienceCurrent embedded systems are increasingly more complexand heterogeneous, but they are expected to be more safe, reliable andadaptive. In consideration of all these aspects, their design is always agreat challenge. Developing these systems with conventional design approachesand programming methods turns out to be difficult. In thispaper, we mainly present the informative background and the generalidea of an ongoing yet young research project, including the modelbaseddesign and an architecture-centric approach, to address previouschallenges. Our idea adopts a formal-methods-based model integrationapproach, dedicated to architecture-centric virtual integration for embeddedsoftware systems, in an early design phase. We thus expect toimprove and enhance Correct By Construction in the design. The consideredformal methods consist of timing specification, design by contracts,and semantics interoperability for models to be integrated in the system.The application domains of our approach include automotive and avionicsystems