A Component-Based Framework for Distributed Control Systems
暂无分享,去创建一个
[1] Edward A. Lee,et al. Hierarchical finite state machines with multiple concurrency models , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[2] Thomas A. Henzinger,et al. Embedded Control Systems Development with Giotto , 2001, OM '01.
[3] Damir Isovic. Components in Real-Time Systems , 2002 .
[4] Joseph Sifakis,et al. Embedded Systems Design: The ARTIST Roadmap for Research and Development , 2005, Lecture Notes in Computer Science.
[5] Dipl.-Inform. Karl-Heinz John,et al. IEC 61131-3: Programming Industrial Automation Systems , 2001, Springer Berlin Heidelberg.
[6] Christo Angelov,et al. Component-Based Design of Embedded Software: An Analysis of Design Issues , 2004, FIDJI.
[7] Steve Heath,et al. Embedded Systems Design , 1997 .
[8] Pradeep K. Khosla,et al. Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects , 1997, IEEE Trans. Software Eng..
[9] Christo Angelov,et al. Design Models for Reusable and Reconfigurable State Machines , 2005, EUC.
[10] Bran Selic,et al. Real-time object-oriented modeling , 1994, Wiley professional computing.
[11] Christo Angelov,et al. A software framework for component-based embedded applications , 2004, 11th Asia-Pacific Software Engineering Conference.
[12] Jean-Raymond Abrial. Steam-Boiler Control Specification Problem , 1995, Formal Methods for Industrial Applications.
[13] 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.
[14] Christo Angelov,et al. A Jitter-Free Operational Environment for Dependable Embedded Systems , 2005, IESS.
[15] Florence Maraninchi,et al. Applying Formal Methods to Industrial Cases: The Language Approach (The Production-Cell and Mode-Aut , 2000 .
[16] William Moses. Modelling control systems using IEC 61499 , 2001 .
[17] Edward A. Lee,et al. Timed multitasking for real-time embedded software , 2003 .
[18] Edward A. Lee,et al. System-Level Types for Component-Based Design , 2001, EMSOFT.