Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
Event
Embedded Systems Week
Submitted by Anne Dyson on April 16th, 2012
IEEE DEST 2012 (June 18-20 2012, Campione, ITALY) has a track on Cyber Physical Energy Systems:
Submitted by Peter Palensky on April 16th, 2012
Submitted by Anonymous 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
Event
ESWEEK 2011
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.
Submitted by Janos Sztipanovits on April 16th, 2012
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.
Submitted by Anonymous on April 16th, 2012
SSCPS 2011
The First International Workshop on
Safety and Security in Cyber-Physical Systems
http://www.sscps.net
Jeju Island, Korea, June 27, 2011
Submitted by Wei Dong on April 16th, 2012
RTSS is the premier conference in the area of real-time comuting, presenting innovations in the field with respect to theory and practice.
Submitted by Anonymous on April 16th, 2012
Event
MobiCPS 2010
MobiCPS 2010 - The 1st IEEE International Workshop on Mobile Cyber-Physical Systems
The MobiCPS workshop is an international forum for researchers and practitioners to present innovative ideas and results on all aspects of mobile cyber-physical systems, including theoretical foundations, techniques and methods, tools and platforms, prototypes, and practical applications. Besides research papers, this workshop will feature Invited Talks and a Panel Discussion session.
Submitted by Anonymous on April 16th, 2012
Synopsis:
Submitted by Katie Dey on February 28th, 2012