Component-based hazard analysis: Optimal designs, product lines, and online-reconfiguration

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4166 LNCS, Issue , 2006, Pages 156-169

  Giese, Holger ^a   Tichy, Matthias ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COST EFFECTIVENESS; HAZARDS; ONLINE SYSTEMS; OPTIMAL CONTROL SYSTEMS; PROBABILITY; SYSTEMS ANALYSIS;

HAZARD ANALYSIS; ONLINE RECONFIGURATION; OPTIMAL DESIGN; SOFTWARE CONFIGURATIONS;

COMPUTER SOFTWARE;

EID: 33750988493     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11875567_12     Document Type: Conference Paper

References (22)

1. Grimm, K.: Software technology in an automotive company: major challenges. In: Proceedings of the 25th International Conference on Software Engineering (ICSE), Washington, DC, USA, IEEE Computer Society (2003) 498-503
2. Knauber, P., Bermejo, J., Böckle, G., do Prado Leite, J.C., van der Linden, F., Northrop, L., Stark, M., Weiss, D.M.: Quantifying product line benefits. In: Proc. of the 4th International Workshop on Product Family Engineering. LNCS 2290, Springer Verlag (2002) 155-163
3. Schmid, K.: A comprehensive product line scoping approach and its validation. In: ICSE '02: Proc. of the 24th International Conference on Software Engineering, New York, NY, USA, ACM Press (2002) 593-603
4. Thiel, S., Hein, A.: Modeling and using product line variability in automotive systems. IEEE Software 19(4) (2002) 66-72
5. Wirsing, M., ed.: Report on the EU/NSF Strategic Workshop on Engineering Software-Intensive Systems, Edinburgh, GB (2004)
6. Sztipanovits, J., Karsai, G., Bapty, T.: Self-adaptive software for signal processing. Commun. ACM 41(5) (1998) 66-73
7. Giese, H., Tichy, M., Schilling, D.: Compositional Hazard Analysis of UML Components and Deployment Models. In: Proc. of the 23rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), Potsdam, Germany. Volume 3219 of Lecture Notes in Computer Science., Springer Verlag (2004)
8. Giese, H., Tichy, M., Burmester, S., Schäfer, W., Flake, S.: Towards the Compositional Verification of Real-Time UML Designs. In: Proc. of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC/FSE-11), ACM Press (2003) 38-47
9. McDermid, J.A.: Trends in Systems Safety: A European View? In Lindsay, P., ed.: Seventh Australian Workshop on Industrial Experience with Safety Critical Systems and Software. Volume 15 of Conferences in Research and Practice in Information Technology., Adelaide, Australia, ACS (2003) 3-8
10. Papadopoulos, Y., McDermid, J., R. Sasse, b., Heiner, G.: Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliability Engineering & System Safety 71 (2001) 229-247
11. Kaiser, B., Liggesmeyer, P., Maeckel, O.: A New Component Concept for Fault Trees. In: Proceedings of the 8th National Workshop on Safety Critical Systems and Software (SCS 2003), Canberra, Australia. 9-10th October 2003. Volume 33 of Research and Practice in Information Technology. (2003)
12. Grunske, L., Neumann, R.: Quality Improvement by Integrating Non-Functional Properties in Software Architecture Specification. In: Proc. of the Second Workshop on Evaluating and Architecting System dependability (EASY), 6 October 2002, San Jose, California, USA (2002)
13. Grunske, L.: Transformational Patterns for the Improvement of Safety. In: Proc. of the The Second Nordic Conference on Pattern Languages of Programs (VikingPLoP 03), Microsoft Buisness Press (2003)
14. Fenelon, P., McDermid, J.A., Nicolson, M., Pumfrey, D.J.: Towards integrated safety analysis and design. ACM SIGAPP Applied Computing Review 2(1) (1994) 21-32
15. McDermid, J., Pumfrey, D.: A Development of Hazard Analysis to aid Software Design. In: Proceedings of the Ninth Annual Conference on Computer Assurance (COMPASS94), Gaithersburg, MD, USA (1994) 17-25
16. Ogata, K.: Modern control engineering. Prentice Hall (1990)
17. Selic, B., Gullekson, G., Ward, P.: Real-Time Object-Oriented Modeling. John Wiley and Sons, Inc. (1994)
18. Addouche, N., Antoine, C., Montmain, J.: Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems. In Winther, R., Gran, B.A., Dahll, G., eds.: Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings. Volume 3688 of Lecture Notes in Computer Science., Springer (2005) 24-36
19. Ortmeier, F., Thums, A., Schellhorn, G., Reif, W.: Combining Formal Methods and Safety Analysis - The ForMoSa Approach. In Ehrig, H., Damm, W., Desel, J., Gros̈e-Rhode, M., Reif, W., Schnieder, E., Westkämper, E., eds.: Integration of Software Specification Techniques for Applications in Engineering. Volume 3147 of Lecture Notes in Computer Science. Springer Verlag (2004) 474-493
20. Giese, H., Burmester, S., Klein, F., Schilling, D., Tichy, M.: Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML. In Henderson-Sellers, B., Debenham, J., eds.: OOPSLA 2003 - Second International Workshop on Agent-Oriented Methodologies, Anaheim, CA, USA, Center for Object Technology Applications and Research (COTAR), University of Technology, Sydney, Australia (2003) 21-32
21. Rauzy, A.: A new methodology to handle Boolean models with loops. IEEE Transactions on Reliability 52 (2003) 96- 105
22. Bryant, R.E.: Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys 24(3) (1992) 293 - 318