Towards a time-triggered schedule calculation tool to support model-based embedded software design
暂无分享,去创建一个
[1] Alberto L. Sangiovanni-Vincentelli,et al. Loosely time-triggered architectures based on communication-by-sampling , 2007, EMSOFT '07.
[2] Ryan Thibodeaux,et al. THE SPECIFICATION AND IMPLEMENTATION OF A MODEL OF COMPUTATION , 2008 .
[3] Laurent Nana,et al. Scheduling and memory requirements analysis with AADL , 2005, SIGAda.
[4] Alberto Griggio,et al. A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories , 2007, SAT.
[5] Guido Tack,et al. Constraint propagation: models, techniques, implementation , 2009 .
[6] Peter H. Feiler,et al. Developing AADL Models for Control Systems: A Practitioner's Guide , 2007 .
[7] Thomas A. Henzinger,et al. Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.
[8] Laurent Nana,et al. Cheddar: a flexible real time scheduling framework , 2004, SIGAda.
[9] Igor L. Markov,et al. AMUSE: a minimally-unsatisfiable subformula extractor , 2004, Proceedings. 41st Design Automation Conference, 2004..
[10] Gabor Karsai,et al. The design of a language for model transformations , 2006, Software & Systems Modeling.
[11] Gabor Karsai,et al. Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation , 2009, MoDELS.
[12] A. Naderlinger,et al. Model-Driven Development of FlexRay-Based Systems with the Timing Definition Language (TDL) , 2007, Fourth International Workshop on Software Engineering for Automotive Systems (SEAS '07).
[13] J. Javier Gutiérrez,et al. MAST: Modeling and Analysis Suite for Real Time Applications , 2001, ECRTS.
[14] Hermann Kopetz,et al. The time-triggered architecture , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).
[15] Gabor Karsai,et al. The Generic Modeling Environment , 2001 .
[16] Rajeev Alur,et al. RTComposer: a framework for real-time components with scheduling interfaces , 2008, EMSOFT '08.
[17] Laurent Nana,et al. Scheduling and memory requirements analysis with AADL , 2005 .
[18] Luciano Lavagno,et al. Metropolis: An Integrated Electronic System Design Environment , 2003, Computer.
[19] Jeremy G. Siek,et al. The Boost Graph Library - User Guide and Reference Manual , 2001, C++ in-depth series.
[20] Alberto L. Sangiovanni-Vincentelli,et al. Platform-Based Design for Embedded Systems , 2005, Embedded Systems Handbook.
[21] Steve McConnell,et al. Rapid Development: Taming Wild Software Schedules , 1996 .
[22] Thomas A. Henzinger,et al. Trading end-to-end latency for composability , 2005, 26th IEEE International Real-Time Systems Symposium (RTSS'05).
[23] Emilia Farcas,et al. Transparent distribution of real-time components based on logical execution time , 2005, LCTES '05.
[24] Jörg Würtz,et al. Scheduling of Time-Triggered Real-Time Systems , 2000, Constraints.
[25] Thomas A. Henzinger,et al. The Embedded Systems Design Challenge , 2006, FM.
[26] Mats Carlsson,et al. A New Multi-resource cumulatives Constraint with Negative Heights , 2002, CP.
[27] Gabor Karsai,et al. Model-integrated development of embedded software , 2003, Proc. IEEE.
[28] Paulo Tabuada,et al. On the Benefits of Relaxing the Periodicity Assumption for Networked Control Systems over CAN , 2009, 2009 30th IEEE Real-Time Systems Symposium.
[29] Alberto L. Sangiovanni-Vincentelli,et al. Extensible and scalable time triggered scheduling , 2005, Fifth International Conference on Application of Concurrency to System Design (ACSD'05).
[30] Karl-Erik Årzén,et al. Integrated Control and Scheduling , 1999 .