Decision theory in expert systems and artificial intelligence
International Journal of Approximate Reasoning
The probability of error detection in sequential circuits using random test vectors
Journal of Electronic Testing: Theory and Applications
Network flows: theory, algorithms, and applications
Network flows: theory, algorithms, and applications
Enhancing fault-tolerance in rate-monotonic scheduling
Real-Time Systems - Special issue on responsive computer systems
Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
Java in a Nutshell: A Desktop Quick Reference
Java in a Nutshell: A Desktop Quick Reference
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Coverage Estimation Using Statistics of the Extremes for When Testing Reveals No Failures
IEEE Transactions on Computers
Component-Based Synthesis of Dependable Embedded Software
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Evaluation of Search Heuristics for Embedded System Scheduling Problems
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Executable Assertions for Detecting Data Errors in Embedded Control Systems
DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
Resource Scheduling in Dependable Integrated Modular Avionics
DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
Constraints-driven scheduling and resource assignment
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Supporting Multiple Levels of Criticality
FTCS '98 Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing
An Approach to Specify and Test Component-Based Dependable Software
HASE '02 Proceedings of the 7th IEEE International Symposium on High Assurance Systems Engineering
System structure for software fault tolerance
Proceedings of the international conference on Reliable software
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Practical Solutions for QoS-Based Resource Allocation
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Tolerating Transient Faults in Statically Scheduled Safety-Critical Embedded Systems
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
A Framework for Dependability Driven Software Integration
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
Scalable Resource Allocation for Multi-Processor QoS Optimization
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
Measurement of Failure Rate in Widely Distributed Software
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
EPIC: Profiling the Propagation and Effect of Data Errors in Software
IEEE Transactions on Computers
Component Allocation with Multiple Resource Constraints for Large Embedded Real-Time Software Design
RTAS '04 Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Software environment for integrating critical real-time control systems
Journal of Systems Architecture: the EUROMICRO Journal
A Dependability-Driven System-Level Design Approach for Embedded Systems
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Design Optimization of Time-and Cost-Constrained Fault-Tolerant Distributed Embedded Systems
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Dependability Driven Integration of Mixed Criticality SW Components
ISORC '06 Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
EUC'07 Proceedings of the 2007 international conference on Embedded and ubiquitous computing
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
A survey of software development approaches addressing dependability
FIDJI'04 Proceedings of the 4th international conference on Scientific Engineering of Distributed Java Applications
Performance assessment of multiobjective optimizers: an analysis and review
IEEE Transactions on Evolutionary Computation
Component survivability at runtime for mission-critical distributed systems
The Journal of Supercomputing
Hi-index | 0.00 |
Embedded systems increasingly entail complex issues of hardware-software (HW-SW) co-design. As the number and range of SW functional components typically exceed the finite HW resources, a common approach is that of resource sharing (i.e., the deployment of diverse SW functionalities onto the same HW resources). Consequently, to result in a meaningful co-design solution, one needs to factor the issues of processing capability, power, communication bandwidth, precedence relations, real-time deadlines, space, and cost. As SW functions of diverse criticality (e.g. brake control and infotainment functions) get integrated, an explicit integration requirement need is to carefully plan resource sharing such that faults in low-criticality functions do not affect higher-criticality functions. On this background, the main contribution of this paper is a dependability-driven framework that helps to conduct the integration of SW components onto HW resources such that the maintenance of system dependability over integration of diverse criticality components is assured by design. We first develop a clustering strategy for SW components into Fault Containment Modules (FCMs) such that error propagation via interaction is minimized. Subsequently, the rules of composition for FCMs with respect to error propagation are developed. To allocate the resulting FCMs to the existing HW resources we provide several heuristics, each optimizing particular attributes thereof. Further, a framework for assessing the goodness of the achieved HW-SW composition as a dependable embedded system is presented. Two new techniques for quantifying the goodness of the proposed mappings are introduced by examples, both based on a multi-criteria decision theoretic approach.