Formal Design Models for Distributed Embedded Control Systems
暂无分享,去创建一个
[1] Pradeep K. Khosla,et al. Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects , 1997, IEEE Trans. Software Eng..
[2] Joseph Sifakis,et al. Embedded Systems Design: The ARTIST Roadmap for Research and Development , 2005, Lecture Notes in Computer Science.
[3] Yu Guo,et al. Reconfigurable State Machine Components for Embedded Applications , 2008, 2008 34th Euromicro Conference Software Engineering and Advanced Applications.
[4] Axel Jantsch,et al. Modeling embedded systems and SoCs - concurrency and time in models of computation , 2003, The Morgan Kaufmann series in systems on silicon.
[5] Feng Zhou,et al. Component-Based Design of Software for Embedded Control Systems: The Medical Ventilator Case Study , 2009, 2009 International Conference on Embedded Software and Systems.
[6] Damir Isovic. Components in Real-Time Systems , 2002 .
[7] Christo Angelov,et al. A Run-Time Environment Supporting Real-Time Execution of Embedded Control Applications , 2008, 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.
[8] Thomas A. Henzinger,et al. Event-Driven Programming with Logical Execution Times , 2004, HSCC.
[9] William Henderson,et al. Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter , 2004, Real-Time Systems.
[10] Paul Caspi. Some Issues in Model-Based Development for Embedded Control Systems , 2006, DIPES.
[11] Jinpeng Ma,et al. A Formal Component Framework for Distributed Embedded Systems , 2006, CBSE.
[12] Ivica Crnkovic,et al. SaveCCM - a component model for safety-critical real-time systems , 2004, Proceedings. 30th Euromicro Conference, 2004..
[13] Stephen A. Edwards,et al. The synchronous languages 12 years later , 2003, Proc. IEEE.
[14] Christo Angelov,et al. A Component-Based Framework for Distributed Control Systems , 2006, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06).
[15] Dipl.-Inform. Karl-Heinz John,et al. IEC 61131-3: Programming Industrial Automation Systems , 2001, Springer Berlin Heidelberg.
[16] Alberto L. Sangiovanni-Vincentelli,et al. Platform-Based Design and Software Design Methodology for Embedded Systems , 2001, IEEE Des. Test Comput..
[17] Thomas A. Henzinger,et al. The Embedded Systems Design Challenge , 2006, FM.
[18] William Moses. Modelling control systems using IEC 61499 , 2001 .
[19] Edward A. Lee,et al. Timed multitasking for real-time embedded software , 2003 .