pt. 1. Analog, mixed-signal, and heterogeneous system design -- pt. 2. C/C++ based system design -- pt. 3. Formalisms for property-driven design -- pt. 4. UML-based system specification and design
Summary
Embedded systems are meanwhile in the focus of industry in quite different application domains such as automotive, avionics, telecom, and consumer products. The need for a shift in design methodologies towards system level design is widely recognised and design flows aimed to an integration of software and hardware specification and implementation approaches are being developed. Standardization efforts, such as SystemC Transaction Level Modelling and Model Driven Architecture of the OMG, provide the foundations of these new design flows. Design and specification languages are of utmost interes
Notes
Selected papers presented at the Forum on Specifications and Design Languages, FDL'06