Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems

摘要: Embedded systems are increasingly complex, function-rich and required to perform tasks that mission- or safety-critical. The use of models specify the functional contents system its execution platform is today most promising solution reduce productivity gap improve quality, correctness modularity software subsystems systems. Models allow advance analysis, validation, verification properties in design flow, enable exploration synthesis cost-effective provably correct solutions. While there (relative) consensus on models, competing (and not necessarily compatible) approaches explored academic industrial domain, each with distinctive features, strengths, weaknesses. Modeling languages accompanying methodologies) roughly divided as belonging Model-Based Design (MBD) Model-Driven Engineering (MDE) approach. Component-based development a desirable paradigm applies both modeling styles. Research work tries define possibly widen) range model can be analyzed demonstrated correct, providing methods tools this purpose. Time an important subset, since they apply majority complex distributed automotive, avionics, controls domains. A path, generate (provably correct) hardware implementation necessary complement analyzable language, only efficiency, but avoid introduction unwanted errors when refined into implementation.