Sciweavers

3425 search results - page 45 / 685
» A Model Driven Approach for Software Systems Reliability
Sort
View
CODES
2006
IEEE
15 years 9 months ago
A formal approach to robustness maximization of complex heterogeneous embedded systems
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
Arne Hamann, Razvan Racu, Rolf Ernst
ECBS
2011
IEEE
274views Hardware» more  ECBS 2011»
14 years 2 months ago
Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments
Abstract—With the availability of the off-the-shelf quadrocopter platforms, the implementation of autonomous unmanned aerial vehicle (UAV) has substantially been simplified. Suc...
Florian Mutter, Stefanie Gareis, Bernhard Schä...
SOFTWARE
2002
15 years 2 months ago
EROS: A Principle-Driven Operating System from the Ground Up
certain kinds of abstraction that modern operating systems generally include and seek a design that maps directly onto the features that modern hardware implementations provide; ve...
Jonathan S. Shapiro, Norman Hardy
CAI
2010
Springer
15 years 15 days ago
Achieving Cost-Effective Software Reliability Through Self-Healing
Heterogeneity, mobility, complexity and new application domains raise new software reliability issues that cannot be met cost-effectively only with classic software engineering ap...
Alessandra Gorla, Mauro Pezzè, Jochen Wuttk...
COMPSAC
2006
IEEE
15 years 9 months ago
Model-Driven Agile Development of Reactive Multi-Agent Systems
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...
James Kirby Jr.