Browsing by Author "Akşit, M."
Now showing items 1-6 of 6
-
Composing domain-specific physical models with general-purpose software modules in embedded control software
Roo, A. de; Sözer, Hasan; Akşit, M. (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 ... -
Feature-based rationale management system for supporting software architecture adaptation
Tekinerdoğan, B.; Sözer, Hasan; Akşit, M. (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
Roo, A. de; Sözer, Hasan; Bergmans, L.; Akşit, M. (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 ... -
Optimizing decomposition of software architecture for local recovery
Sözer, Hasan; Tekinerdoğan, B.; Akşit, M. (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, ... -
Runtime verification of component-based embedded software
Sözer, Hasan; Hofmann, C; Tekinerdoğan, B.; Akşit, M. (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 ... -
Verification and analysis of domain-specific models of physical characteristics in embedded control software
Roo, A. de; Sözer, Hasan; Akşit, M. (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 ...
Share this page
