Mapping Data-Flow Dependencies onto Distributed Embedded Systems
暂无分享,去创建一个
[1] Florence Maraninchi,et al. Mode-Automata: About Modes and States for Reactive Systems , 1998, ESOP.
[2] Michael Tautschnig,et al. Running COLA on Embedded Systems , 2008, IMECS 2008.
[3] Petru Eles,et al. Schedulability analysis for systems with data and control dependencies , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.
[4] Zhonglei Wang,et al. COLA -- The component language , 2007 .
[5] Hermann Kopetz,et al. Distributed fault-tolerant real-time systems: the Mars approach , 1989, IEEE Micro.
[6] Petru Eles,et al. Scheduling of conditional process graphs for the synthesis of embedded systems , 1998, DATE.
[7] Ivar Jacobson,et al. The Unified Modeling Language User Guide , 1998, J. Database Manag..
[8] G. Fohler,et al. Realizing Changes of Operational Modes with a Pre Run-Time Scheduled Hard Real-Time System , 1993 .
[9] Florence Maraninchi,et al. Mode-Automata: a new domain-specific construct for the development of safe critical systems , 2003, Sci. Comput. Program..
[10] Manfred Broy,et al. AutoMoDe - Notations, Methods, and Tools for Model-Based Development of Automotive Software , 2005 .
[11] Pascal Raymond,et al. The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.
[12] Alexander Pretschner,et al. One evaluation of model-based testing and its automation , 2005, ICSE.
[13] Ingo Stürmer,et al. Overview of existing safeguarding techniques for automatically generated code , 2005, ACM SIGSOFT Softw. Eng. Notes.
[14] Stavros Tripakis,et al. From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications , 2003, LCTES '03.