non-peer-reviewedWe present a new formal approach to the implementation of embedded systems, arrived at by introducing self-management capabilities to the same. We use the ASSL (Autonomic System Specification Language) framework to approach the problem of formal specification and automatic code generation of embedded systems. Some features of ASSL help to specify event-driven embedded systems where hardware is sensed via special metrics intended to drive events and self-management policies. The latter can be specified to handle critical situations in an autonomous reactive manner. Moreover, we present a case study where we use ASSL to specify control software for the wide-angle camera carried on board by NASA’s Voyager II spacecraf
non-peer-reviewedWe discuss our experiences in building tools for software verification of autonomic...
peer-reviewedWe target effective home automation based on wireless sensor networks. ASSL (Autonomic ...
We address the need to realize a runtime self-modifiable architecture for autonomic systems, specifi...
peer-reviewedThe increasing complexity of contemporary embedded computing systems requires the use o...
We present a new formal approach to the implementation of embedded systems, arrived at by introducin...
peer-reviewedASSL provides a framework for formal specification, validation, and code generation of ...
peer-reviewedThe Autonomic System Specification Language (ASSL) is a framework for formally specify...
NASA’s new age of space exploration augurs great promise for deep space exploration missions whereby...
non-peer-reviewedAutonomic computing augurs great promise for deep space exploration missions, bring...
non-peer-reviewedWe address the need to realize a runtime self-modifiable architecture for autonomic...
peer-reviewedRich and multifaceted domain specific specification languages like the Autonomic Syste...
non-peer-reviewedNASA exploration missions increasingly rely on the concepts of autonomic computing,...
In today’s world, embedded systems can be seen everywhere around us. These systems range from consum...
Rich and multifaceted domain specific specification languages like the Autonomic System Specificatio...
Autonomic computing promises computer systems capable of self-management, which augurs great promise...
non-peer-reviewedWe discuss our experiences in building tools for software verification of autonomic...
peer-reviewedWe target effective home automation based on wireless sensor networks. ASSL (Autonomic ...
We address the need to realize a runtime self-modifiable architecture for autonomic systems, specifi...
peer-reviewedThe increasing complexity of contemporary embedded computing systems requires the use o...
We present a new formal approach to the implementation of embedded systems, arrived at by introducin...
peer-reviewedASSL provides a framework for formal specification, validation, and code generation of ...
peer-reviewedThe Autonomic System Specification Language (ASSL) is a framework for formally specify...
NASA’s new age of space exploration augurs great promise for deep space exploration missions whereby...
non-peer-reviewedAutonomic computing augurs great promise for deep space exploration missions, bring...
non-peer-reviewedWe address the need to realize a runtime self-modifiable architecture for autonomic...
peer-reviewedRich and multifaceted domain specific specification languages like the Autonomic Syste...
non-peer-reviewedNASA exploration missions increasingly rely on the concepts of autonomic computing,...
In today’s world, embedded systems can be seen everywhere around us. These systems range from consum...
Rich and multifaceted domain specific specification languages like the Autonomic System Specificatio...
Autonomic computing promises computer systems capable of self-management, which augurs great promise...
non-peer-reviewedWe discuss our experiences in building tools for software verification of autonomic...
peer-reviewedWe target effective home automation based on wireless sensor networks. ASSL (Autonomic ...
We address the need to realize a runtime self-modifiable architecture for autonomic systems, specifi...