Search
Now showing items 1-6 of 6
Verification and analysis of domain-specific models of physical characteristics in embedded control software
(Elsevier, 2012-12)
ContextA considerable portion of the software systems today are adopted in the embedded control domain. Embedded control software deals with controlling a physical system, and as such models of physical characteristics ...
Runtime verification of component-based embedded software
(Springer, 2011)
To deal with increasing size and complexity, component-based software development has been employed in embedded systems. Due to several faults, components can make wrong assumptions about the working mode of the system and ...
Feature-based rationale management system for supporting software architecture adaptation
(World Scientific Publishing Co., 2012-11)
Each software architecture design is the result of a broad set of design decisions and their justifications, that is, the design rationale. Capturing the design rationale is important for a variety of reasons such as ...
MOO: An architectural framework for runtime optimization of multiple system objectives in embedded control software
(Elsevier, 2013-10)
Today's complex embedded systems function in varying operational conditions. The control software adapts several control variables to keep the operational state optimal with respect to multiple objectives. There exist ...
Composing domain-specific physical models with general-purpose software modules in embedded control software
(Springer Science+Business Media, 2014-02)
A considerable portion of software systems today are adopted in the embedded control domain. Embedded control software deals with controlling a physical system, and as such models of physical characteristics become part ...
Optimizing decomposition of software architecture for local recovery
(Springer Science+Business Media, 2013-06)
The increasing size and complexity of software systems has led to an amplified number of potential failures and as such makes it harder to ensure software reliability. Since it is usually hard to prevent all the failures, ...
Share this page