The ability to include models as submodels inside other models.
Abstract
Submitted by Andre Platzer on October 5th, 2012
Abstract
Submitted by Insup Lee on October 1st, 2012
Abstract
Submitted by Nancy Lynch on September 26th, 2012
Event
5th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2012)
Call for papers: CRTS 2012
5th Workshop on Compositional Theory and Technology for
Real-Time Embedded Systems (CRTS 2012)
http://crts2012.ele.tue.nl/
Submitted by Anonymous on August 3rd, 2012
Compositional Real-Time Analysis for Cyber-Physical Systems Tutorial at CPS Week 2012
This tutorial is concerned with various aspects of component-based design and compositional analysis of cyber-physical systems, with a focus on timing issues. It will first give an overview of component-based frameworks and their underlying principles.
Submitted by Katie Dey on April 16th, 2012
The 10th ACM Conference on Embedded Networked Sensor Systems (SenSys 2012) solicits innovative research papers on the systems issues of networked, embedded sensing and control. The conference brings together academic, industry, and government professionals to a premier single-track, highly selective forum on sensor network design, implementation, and application.
Submitted by Anne Dyson on April 16th, 2012
Event
Embedded Systems Week
Submitted by Anne Dyson on April 16th, 2012
The main focus of DANCE is on the topic of making design and implementation expert knowledge available to distributed real time embedded systems (DRTES) engineering processes. Special emphasis will be devoted to promote discussion and interaction between researchers and practitioners focused on the particularly challenging task to efficiently integrate dependability and reconfiguration solutions within the restricted available design space and time.
Submitted by Anne Dyson on April 16th, 2012
The NASA Formal Methods Symposium is a forum for theoreticians andpractitioners from academia, industry, and government, with the goals ofidentifying challenges and providing solutions to achieving assurancein mission- and safety-critical systems. Within NASA, for example, suchsystems include autonomous robots, separation assurance algorithms for aircraft,Next Generation Air Transportation (NextGen), and autonomous rendezvous anddocking for spacecraft. Moreover, emerging paradigms such as code generation
Submitted by Alwyn Goodloe on April 16th, 2012
RTAS 2012 focuses on original systems and applications, case studies, methodologies and applied algorithms that contribute to the state of practice in the broad field of embedded and open real-time systems and computing. The scope of RTAS 2012 will consist of four tracks: Applications, Systems, RTOSs and Tools, Applied Methodologies and Foundations, Hardware/Software Integration and Co-design, and Wireless Sensor Networks.
Submitted by Janos Sztipanovits on April 16th, 2012