Runtime Analysis and Adaptation of a Hard Real-Time Robotic Control System
暂无分享,去创建一个
[1] Tom De Wolf,et al. Engineering self-organising emergent systems with simulation-based scientific analysis , 2005 .
[2] Rolf Ernst,et al. System level performance analysis - the SymTA/S approach , 2005 .
[3] John P. Lehoczky,et al. Fixed priority scheduling of periodic task sets with arbitrary deadlines , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.
[4] Tom De Wolf,et al. Towards a Methodology for Engineering Self-Organising Emergent Systems , 2005, SOAS.
[5] Martin Kardos,et al. Model-based Runtime Verification Framework for Self-optimizing Systems , 2006, RV@CAV.
[6] Jochen Maaß,et al. Open Modular Robot Control Architecture for Assembly Using the Task Frame Formalism , 2006 .
[7] Christian Müller-Schloer,et al. Organic computing: on the feasibility of controlled emergence , 2004, CODES+ISSS '04.
[8] Christopher G. Lasater,et al. Design Patterns , 2008, Wiley Encyclopedia of Computer Science and Engineering.
[9] Bernd Kleinjohann,et al. Design of Self-Optimizing Agent-Based Controllers , 2002 .
[10] Ursula Goltz,et al. Model based quality assurance and self-management within a software architecture for parallel kinematic machines , 2006, 2006 IEEE International Conference on Mechatronics.
[11] Holger Giese,et al. A Design Methodology for Self-Optimizing Systems , 2005 .
[12] Rolf Ernst,et al. Real-Time Property Verification in Organic Computing Systems , 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
[13] Petr Jan Horn,et al. Autonomic Computing: IBM's Perspective on the State of Information Technology , 2001 .
[14] Bernhard Bauer,et al. Towards a Model-Driven Software Engineering Methodology for Organic Computing Systems , 2005, Computational Intelligence.
[15] Ralph Johnson,et al. design patterns elements of reusable object oriented software , 2019 .
[16] J. Hesselbach,et al. Self-Management in a Robot Control Architecture , 2007 .
[17] Cyril S. Ku,et al. Design Patterns , 2008, Wiley Encyclopedia of Computer Science and Engineering.
[18] Tom De Wolf,et al. A Taxonomy for Self-Properties in Decentralised Autonomic Computing , 2007 .
[19] Ursula Goltz,et al. Universal communication architecture for high-dynamic robot systems using QNX , 2004, ICARCV 2004 8th Control, Automation, Robotics and Vision Conference, 2004..
[20] James W. Layland,et al. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.
[21] Holger Giese,et al. Towards the compositional verification of real-time UML designs , 2003, ESEC/FSE-11.