The ability to include models as submodels inside other models.
event
Submitted by adyson on Mon, 04/16/2012 - 7:17pm
event
Submitted by agoodloe on Mon, 04/16/2012 - 7:17pm
The NASA Formal Methods Symposium is a forum for theoreticians and
practitioners from academia, industry, and government, with the goals of
identifying challenges and providing solutions to achieving assurance
in mission- and safety-critical systems. Within NASA, for example, such
systems include autonomous robots, separation assurance algorithms for aircraft,
Next Generation Air Transportation (NextGen), and autonomous rendezvous and
docking for spacecraft. Moreover, emerging paradigms such as code generation
event
Submitted by Janos.Sztipanovits on Mon, 04/16/2012 - 7:17pm
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.
event
Submitted by Janos.Sztipanovits on Mon, 04/16/2012 - 7:17pm
The 9th ACM Conference on Embedded Networked Sensor Systems (SenSys 2011) is a highly selective, single-track forum for the presentation of research results on systems issues in the area of embedded, networked sensors. Distributed systems based on networked sensors and actuators with embedded computation capabilities allow for an instrumentation of the physical world at an unprecedented scale and density, thus enabling a new generation of monitoring and control applications.
event
Submitted by Janos.Sztipanovits on Mon, 04/16/2012 - 7:17pm
Embedded Systems Week is an exciting event which brings together conferences, tutorials, and workshops centered on various aspects of embedded systems research and development. Three leading conferences in the area - CASES, CODES+ISSS, and EMSOFT - will take place at the same time and location, allowing attendees to benefit from a wide range of topics covered by these conferences and their associated tutorials and workshops.
event
Submitted by Janos.Sztipanovits on Mon, 04/16/2012 - 7:17pm
The increasing complexity of real-time embedded systems requires advanced methodologies that can reduce the cost of their design and analysis, while ensuring that requirements on functional correctness, real- time behaviour, and performance are met. Compositional theories and technologies facilitate the decomposition of a complex system into components, as well as their integration via interfaces. Component interfaces hide the internal details of the components, thereby reducing integration complexity.
event
Submitted by quanyan on Mon, 04/16/2012 - 7:17pm
The goal of this two-day, single-track event is to expose researchers to control and modeling challenges in cyber-physical systems (CPS) with the aim of exchanging knowledge and fostering collaborations between academia, industry, and government agencies. The proposed symposium will cover several applications of cyber-physical systems such as networked systems of unmanned vehicles, power grids, green buildings, transportation systems and health-care systems via invited talks, poster presentations and a panel discussion.
event
Submitted by sokolsky on Mon, 04/16/2012 - 7:17pm
Special Interest Group: Medical Devices, Discussion Lead: Oleg Sokolsky (U Penn),
This session brings together CPS researchers who work on topics related to health care. The goal of the session is to seek a common vision for the field and pursue a coordinated agenda of Medical CPS (MCPS) research.
Possible agenda items:
event
Submitted by Anonymous on Mon, 04/16/2012 - 7:17pm
This session focuses on methods and design tools for the exploration, analysis, simulation, selection, synthesis, and optimization of E/E automotive architectures (e.g., software, hardware, communication, wiring harness, and power architectures). These methods and tools apply to technologies such as multi-core processors, distributed systems, AUTOSAR, Flexray, CAN, Ethernet, and DSRC among others. The methods and tools are usually (but not limited to) model-based.
event
Submitted by Brian.Hulbert on Mon, 04/16/2012 - 7:17pm
Dear Colleagues,
We cordially invite you to attend the 2011 Safe & Secure Systems & Software Symposium (S5) on 14,15 and 16 June at the Hilton Garden Inn, Beavercreek Ohio (near Wright Patterson Air Force Base). The Air Force Research Laboratory Air Vehicles Directorate will be hosting the Symposium and there is no registration fee to attend.
S5 will bring together industry, academia and government to collaborate on the common goal of improvi
