Insup Lee
Oleg Sokolsky
- {1} R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky. Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE, 90(1):11-28, Jan. 2003.]]Google Scholar
Cross Ref
- {2} A. Chutinan and B. Krogh. Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In Hybrid Systems: Computation and Control, Second International Workshop, LNCS 1569, Pages 76-90, 1999.]] Google ScholarDigital Library
- {3} A. Deshpande, A. Gollu, and L. Semenzato. The shift programming language and run-time system for dynamic networks of hybrid automata. Technical Report UCB-ITS-PRR-97-7, University of California at Berkeley, 1997.]]Google Scholar
- {4} D. Drusinsky. The Temporal Rover and the ATG Rover. In Proceedings of 7th International SPIN Workshop, LNCS 1885, volume 1885, pages 323-329, 2000.]] Google ScholarDigital Library
- {5} H. Elmqvist, S. E. Mattsson, and M. Otter. Modelica - The new object-oriented modeling language. In Proceedings of the 12th European Simulation Multiconference , pages 127-131, 1998.]] Google ScholarDigital Library
- {6} D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.]] Google ScholarDigital Library
- {7} K. Havelund and G. Rosu. Monitoring Java Programs with JavaPathExplorer. In Proceedings of the Workshop on Runtime Verification, volume 55 of Electronic Notes in Theoretical Computer Science, 2001.]]Google Scholar
- {8} T. Henzinger. Masaccio: A formal model for embedded components. In Proceedings of IFIP International Conference on Theoretical Computer Science, pages 549-563, 2000.]] Google ScholarDigital Library
- {9} P. Jones. Personal Communication, March 24, 2003.]]Google Scholar
- {10} I. Lee, P. Brémond-Grégoire, R. Gerber. A Process Algebraic Approach to the Specification and Analysis of Resource-Bound Real-Time Systems. Proceedings of the IEEE, pages 158-171, Jan 1994.]]Google ScholarCross Ref
- {11} I. Lee, S. Kannan, M. Kim, O. Sokolsky, and M. Viswanathan. Runtime assurance based on formal specifications. In Proceedings of the Int. Conf. on Parallel and Distributed Processing Techniques and Applications - PDPTA'99, June 1999.]]Google Scholar
- {12} Radio Technical Committee for Aeronautics. RTCA/DO-178B, Software Considerations in Air-borne Systems and Equipment Certification, December 1992.]]Google Scholar
- {13} Radio Technical Committee for Aeronautics. RTCA/DO-254, Design Assurance Guidance for Airborne Electronic Hardware, April 2000.]]Google Scholar
- {14} The Mathworks Inc. http://www.mathworks.com.]]Google Scholar
- {15} S. Vestal. Personal Communication, Nov 2001.]]Google Scholar
Index Terms
- Research challenges in embedded and hybrid systems
Recommendations
Hybrid prototyping of multicore embedded systems
DATE '13: Proceedings of the Conference on Design, Automation and Test in EuropeThis paper presents a novel modeling technique for multicore embedded systems, called Hybrid Prototyping. The fundamental idea is to simulate a design with multiple cores by creating an emulation kernel in software on top of a single physical instance ...
Embedded Control Systems Development with Giotto
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Giotto is based on the principle that time-triggered task invocations plus ...
Comments