A Multidisciplinary Design Methodology for Cyber-physical Systems
暂无分享,去创建一个
Frank Slomka | Steffen Moser | Steffen Kollmann | Kilian Kempf | F. Slomka | S. Kollmann | Steffen Moser | Kilian Kempf
[1] Giovanni De Micheli,et al. Synthesis and Optimization of Digital Circuits , 1994 .
[2] Matthias Traub,et al. Durchgängige Timing-Bewertung von Vernetzungsarchitekturen und Gateway-Systemen im Kraftfahrzeug , 2010 .
[3] Alberto L. Sangiovanni-Vincentelli,et al. Platform-Based Design for Embedded Systems , 2005, Embedded Systems Handbook.
[4] Klaus Buchenrieder,et al. Generating MARTE allocation models from activity threads , 2008, 2008 Forum on Specification, Verification and Design Languages.
[5] Rolf Ernst,et al. Formal Methods for System Level Performance Analysis and Optimization , 2009 .
[6] Andreas Gerstlauer,et al. Automatic Layer-Based Generation of System-On-Chip Bus Communication Models , 2007, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[7] Bran Selic,et al. Modeling and Analysis of Real-Time and Embedded Systems , 2005, MoDELS.
[8] Kai Richter. Compositional scheduling analysis using standard event models: the SymTA/S approach , 2005 .
[9] M. Chinnadurai,et al. HIGH LEVEL SYNTHESIS , 2011 .
[10] Ivar Jacobson,et al. Object-Oriented Software Engineering , 1991, TOOLS.
[11] Edward A. Lee. Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).
[12] Frank Slomka,et al. Comparative Application of Real-Time Verification Methods to an Automotive Architecture , 2010 .
[13] Alberto L. Sangiovanni-Vincentelli,et al. Platform-Based Design and Software Design Methodology for Embedded Systems , 2001, IEEE Des. Test Comput..
[14] Pierre Boulet,et al. Repetitive Allocation Modeling with MARTE , 2007 .
[15] Christian Haubelt,et al. A system-level synthesis approach from formal application models to generic bus-based MPSoCs , 2010, 2010 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation.
[16] Frank Slomka,et al. A general time model for the specification and design of embedded real-time systems , 2003, Microelectron. J..
[17] Ernesto Wandeler,et al. Modular performance analysis and interface based design for embedded real time systems , 2006 .
[18] Frank Slomka,et al. Event Stream Calculus for Schedulability Analysis , 2009, IESS.