Software designed for computational processes that interact with the physical processes.
Event
WiP session at RTAS 2013
The 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2013)  
Submitted by Anonymous on February 11th, 2013
File
Credible Autocoding and Verification of Embedded Software (CrAVES)
Eric Feron Submitted by Eric Feron on December 11th, 2012
File
Non-Volatile Computing for Embedded Cyber-Physical Systems
Abstract
Gookwon Suh Submitted by Gookwon Suh on October 7th, 2012
File
Programming Environment and Architecuture for Situational Awareness and Response
Abstract
Submitted by Anonymous on October 7th, 2012
File
ActionWebs
Abstract
Hamsa Balakrishnan Submitted by Hamsa Balakrishnan on October 6th, 2012
File
Physical Modeling and Software Synthesis for Self-Reconfigurable Sensors in River Environments
Abstract
Jonathan Sprinkle Submitted by Jonathan Sprinkle on October 5th, 2012
File
Body Sensor Networks: Holistic Approach from Silicon to Users
ABSTRACT   Body sensor networks (BSN) are emerging cyber-physical systems that promise to improve the quality of life through improved health, augmented sensing and actuation for the disabled, independent living for the elderly, and reduced healthcare costs.
John Stankovic Submitted by John Stankovic on October 5th, 2012
File
Methods and Tools for Verification of Cyber-Physical Systems
ABSTRACT
Hao Zheng Submitted by Hao Zheng on October 5th, 2012
File
Holistic Design Methodology for Automated Implementation of Human-in-the-Loop Cyber-Physical Systems
Abstract
Gunar Schirner Submitted by Gunar Schirner on October 5th, 2012
File
Self Sustaining CPS for Structural Monitoring
ABSTRACT
Peter Volgyesi Submitted by Peter Volgyesi on October 5th, 2012
Subscribe to Embedded Software