State-Based Real-Time Analysis for Function Networks and Marte
暂无分享,去创建一个
[1] Philipp Reinkemeier,et al. A pattern-based requirement specification language: Mapping automotive specific timing requirements , 2011, Software Engineering.
[2] Bran Selic,et al. Modeling Cyber-Physical Systems , 2014 .
[3] Rolf Ernst,et al. System level performance analysis - the SymTA/S approach , 2005 .
[4] Wang Yi,et al. Timed Automata with Asynchronous Processes: Schedulability and Decidability , 2002, TACAS.
[5] Lothar Thiele,et al. Influence of different system abstractions on the performance analysis of distributed real-time systems , 2007, EMSOFT '07.
[6] J.C. Palencia Gutierrez,et al. On the schedulability analysis for distributed hard real-time systems , 1997, Proceedings Ninth Euromicro Workshop on Real Time Systems.
[7] Lothar Thiele,et al. Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems , 2009, EMSOFT '09.
[8] Achim Rettberg,et al. State-based scheduling analysis for distributed real-time systems , 2014, Des. Autom. Embed. Syst..
[9] Lionel C. Briand,et al. Experiences of applying UML/MARTE on three industrial projects , 2012, MODELS'12.
[10] Insup Lee,et al. CARTS: a tool for compositional analysis of real-time systems , 2011, SIGBED.
[11] Ingo Stierand,et al. Testing real-time task networks with functional extensions using model-checking , 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.
[12] Marcel Verhoef,et al. Timed automata based analysis of embedded system architectures , 2006, IPDPS.
[13] Eike Thaden,et al. Design Space Exploration for an industrial Lane-Keeping-Support Case Study , 2014 .
[14] Ernesto Wandeler,et al. Modular performance analysis and interface based design for embedded real time systems , 2006 .
[15] Eike Thaden,et al. From Specification Models to Distributed Embedded Applications: A Holistic User-Guided Approach , 2013 .
[16] Lothar Thiele,et al. Embedded Software in Network Processors - Models and Algorithms , 2001, EMSOFT.
[17] Kim Guldstrand Larsen,et al. Model-Based Framework for Schedulability Analysis Using Uppaal 4.1 , 2018, Model-Based Design for Embedded Systems.
[18] Bran Selic,et al. Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems , 2013 .
[19] Rolf Ernst,et al. Construction and Deconstruction of Hierarchical Event Streams with Multiple Hierarchical Layers , 2008, 2008 Euromicro Conference on Real-Time Systems.
[20] Rolf Ernst,et al. Performance analysis for complex embedded applications , 2005, Int. J. Embed. Syst..
[21] Sébastien Gérard,et al. First Experiments Using the UML Profile for MARTE , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).
[22] John A. Clark,et al. Holistic schedulability analysis for distributed hard real-time systems , 1994, Microprocess. Microprogramming.