Optimizing Automatic Deployment Using Non-functional Requirement Annotations

Model-driven development has become common practice in design of safety-critical real-time systems. High-level modeling constructs help to reduce the overall system complexity apparent to developers. This abstraction caters for fewer implementation errors in the resulting systems. In order to retain correctness of the model down to the software executed on a concrete platform, human faults during implementation must be avoided. This calls for an automatic, unattended deployment process including allocation, scheduling, and platform configuration.

[1]  Wei Zheng,et al.  Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems , 2007, RTSS 2007.

[2]  Sébastien Gérard,et al.  Annotating UML Models with Non-functional Properties for Quantitative Analysis , 2005, MoDELS Satellite Events.

[3]  Zhonglei Wang,et al.  COLA -- The component language , 2007 .

[4]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[5]  Martin Fränzle,et al.  An optimal approach to the task allocation problem on hierarchical architectures , 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

[6]  Florence Maraninchi,et al.  Mode-Automata: a new domain-specific construct for the development of safe critical systems , 2003, Sci. Comput. Program..

[7]  Thomas A. Henzinger,et al.  The Discipline of Embedded Systems Design , 2007, Computer.

[8]  Uwe Baumgarten,et al.  A Middleware for Model-Based Embedded Systems , 2008, ESA.

[9]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[10]  Manfred Broy,et al.  Software Engineering for Automotive Systems: A Roadmap , 2007, Future of Software Engineering (FOSE '07).

[11]  Manfred Broy,et al.  AutoMoDe - Notations, Methods, and Tools for Model-Based Development of Automotive Software , 2005 .

[12]  Jörg Würtz,et al.  Off-line scheduling of a real-time system , 1998, SAC '98.

[13]  Michael Tautschnig,et al.  Running COLA on Embedded Systems , 2008, IMECS 2008.

[14]  Stéphane Ducasse,et al.  Non-Functional Requirements in a Component Model for Embedded Systems , 2001 .

[15]  Stefan Kugele,et al.  Mapping Data-Flow Dependencies onto Distributed Embedded Systems , 2008, Software Engineering Research and Practice.

[16]  Christian Herde,et al.  RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures , 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

[17]  Jie Liu,et al.  Resource Modeling and Scheduling for Extensible Embedded Platforms , 2006 .

[18]  Stavros Tripakis,et al.  From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications , 2003 .

[19]  강문설.  [서평]「The Unified Modeling Language User Guide」 , 1999 .

[21]  Manfred Broy,et al.  Automotive software and systems engineering (Panel) , 2005, MEMOCODE.