The design of a complex real-time embedded system requires the specification of its functionality, the design of the hardware and software architectures, the implementation of hardware and software components and finally the system validation. The designer, starting from the specification, refines the solution trying to minimize the system cost while satisfying functional and non functional requirements. The automatic code generation from models and the introduction of the platform-based design methodology can drastically improve the design efficiency of the software partition, while maintaining acceptable the cost overhead of the final system. In this approach, both top-down and bottom-up aspects are considered and solutions are found by a meet-in-the-middle approach that couples model refinement and platform modeling. In more details, given a model of the implementation platform, which describes the available services and data types, the algorithms captured by models are refined and then automatically translated to software components. These components are integrated with handwritten (e.g. legacy) software modules together with the software platform. A final validation phase on the real target is performed to finally validate the functionality and to guarantee that the performance constraints are met. The methodology described in this paper has proven in the years of deployment its validity and maturity level. The effective results are the improvement of the time-to-market and the capability to cope with the complexity of modern embedded controllers for power-train. The selected automatic code generation environment (the model compiler) has been instrumental in implementing our model based design methodology. In the future, the platform based design methodology will allow an easy accommodation of the new automotive software architecture standard promoted by the AUTOSAR consortium.
[1]
Thomas Thomsen,et al.
Integration of international standards for production code generation
,
2003
.
[2]
Vittorio Rocco,et al.
Direct Fuel Injection - A Study of Injector Requirements for Different Mixture Preparation Concepts
,
1997
.
[3]
Alberto Ferrari,et al.
From Conception to Implementation: A Model Based Design Approach
,
2004
.
[4]
Lutz Köster,et al.
Connecting Simulink to OSEK: Automatic Code Generation for Real-Time Operating Systems with TargetLink
,
2001
.
[5]
Martin Meyer,et al.
Automatic Generation of Production Quality Code for ECUs
,
1999
.
[6]
Luciano Lavagno,et al.
Hardware-software co-design of embedded systems: the POLIS approach
,
1997
.
[7]
Gabriele Serra,et al.
Functional and Architectural Specification for Power-Train Control System Design
,
2002
.
[8]
Alberto L. Sangiovanni-Vincentelli,et al.
System design: traditional concepts and new paradigms
,
1999,
Proceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No.99CB37040).
[9]
J. H. McMahon,et al.
Modeling techniques
,
2020,
Ring Current Investigations.
[10]
Luciano Lavagno,et al.
Hardware-Software Co-Design of Embedded Systems
,
1997
.
[11]
Roberto Passerone,et al.
Modeling Techniques in Design-By-Refinement Methodologies
,
2003
.