Modeling

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.

The Air Force Research Laboratory (AFRL) will be hosting the next Safe and Secure Systems and Software Symposium (S5) on June 12-14, 2012 at the Hope Hotel & Conference Center, Fairborn, Ohio near Wright Patterson Air Force Base. Event registration closes June 3, 2012.

There is no registration fee to attend this symposium.

SAMOS is a premier and well-established conference on embedded systems organized annually since 2001. The conference brings together researchers from academia and industry on the quiet and inspiring northern mountainside of the Mediterranean island of Samos. It provides an environment where collaboration rather than competition is fostered. The conference considers new state-of-the-art mature research papers on all aspects of embedded processor hardware/software design and integration.

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