Component-based analysis of embedded control applications
暂无分享,去创建一个
[1] Thomas A. Henzinger,et al. Event-Driven Programming with Logical Execution Times , 2004, HSCC.
[2] Maurice Nivat,et al. Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993 , 1994, AMAST.
[3] Yu Guo,et al. Building a Software Development Environment for Embedded Systems , 2010, 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing.
[4] 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.
[5] Wolfgang Pree,et al. Simulink Integration of Giotto/TDL , 2004, ASWSD.
[6] Steve Heath,et al. Embedded Systems Design , 1997 .
[7] Stephen A. Edwards,et al. The synchronous languages 12 years later , 2003, Proc. IEEE.
[8] Christo Angelov,et al. A Component-Based Framework for Distributed Control Systems , 2006, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06).
[9] Luciano Lavagno,et al. Metropolis: An Integrated Electronic System Design Environment , 2003, Computer.
[10] Yu Guo,et al. Formal Design Models for Distributed Embedded Control Systems , 2009, ACES-MB@MoDELS.
[11] 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.
[12] Gerhard Fohler. Embedded Systems Design - The ARTIST Roadmap for Research and Development , 2005 .
[13] Joseph Sifakis,et al. Tools for Verification and Validation , 2005 .
[14] Nicolas Halbwachs,et al. Synchronous Observers and the Verification of Reactive Systems , 1993, AMAST.
[15] Donal Heffernan,et al. Runtime verification and monitoring of embedded systems , 2007, IET Softw..
[16] Wei Guan,et al. Developing a Toolset Supporting the Construction of Reusable Components for Embedded Control Systems , 2010, 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing.
[17] 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.
[18] Edward A. Lee,et al. Timed multitasking for real-time embedded software , 2003 .
[19] Christoph M. Kirsch,et al. Giotto: a time-triggered language for embedded programming , 2003 .
[20] Dimitra Giannakopoulou,et al. Runtime Analysis of Linear Temporal Logic Specifications , 2001 .
[21] Carlo Rossi,et al. Giotto a time-triggered language for embedded programming , 2011 .