Approaching runtime trust assurance in open adaptive systems

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2011, Pages 196-201

  Schneider, Daniel ^a   Becker, Martin ^a   Trapp, Mario ^a  

^a FRAUNHOFER IESE   (Germany)

Author keywords

Adaptive systems; Conditional certificates; Safety; Trust

Indexed keywords

AMBIENT INTELLIGENCE; COMPOSITION TIME; CONDITIONAL CERTIFICATES; CYBER-PHYSICAL SYSTEMS; POSITION PAPERS; RELATED SYSTEMS; RUNTIMES; SAFETY ASSURANCE; SYSTEMS OF SYSTEMS; TRUST; USER NEED;

SAFETY ENGINEERING; SOFTWARE ENGINEERING; UBIQUITOUS COMPUTING;

ADAPTIVE SYSTEMS;

EID: 79959549777     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1988008.1988036     Document Type: Conference Paper

References (27)

1. Muskens, J., Chaudron, M. 2004. Integrity Management in Component Based Systems. Proc. of 30th EUROMICRO Conference (EUROMICRO'04). pp. 611-619. (Pubitemid 40087890)
2. http://www.ist-music.eu/
3. Lenzini, G., Tokmakoff, A., Muskens, J. 2007. Managing Trustworthiness in Component-based Embedded Systems, Electron. Notes Theor. Comput. Sci. 179, 143-155. (Pubitemid 46963720)
4. Su, R., Chaudron, M.R.V., Lukkien, J.J. 2007. Adaptive runtime fault management for service instances in component-based software applications. IET Software, Volume 1, Issue 1, p. 18-28.
5. Floch, J., Hallsteinsen, S., Stav, E., Eliassen, F., Lund, K., and Gjorven, E. 2006. Using Architecture Models for Runtime Adaptability. IEEE Software 23, 62-70.
6. http://ercim-news.ercim.eu/adaptable-and-context-aware-trustworthiness- evaluation
7. M. Trapp, R. Adler, M. Förster, and J. Junger. 2007. Runtime adaptation in safety-critical automotive systems, In IASTED International Conference on Software Engineering (SE'07), Innsbruck, Austria.
8. Shelton, C. P., Koopman, P., Nace, W. 2003. A Framework for Scalable Analysis and Design of System-wide Graceful Degradation in Distributed Embedded Systems, Workshop on Reliability in Embedded Systems, New Orleans.
9. Giese, H., Hirsch, M. 2005. Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML, MoDELS Satellite Events.
10. Rehab Alnemr, Matthias Quasthoff, Christoph Meinel. 2010. Taking Trust Management to the Next Level. Book chapter in Handbook of Research on P2P and Grid Systems for Service-Oriented Computing: Models, Methodologies and Applications, IGI Global, Hershey.
11. Wang Y. and Vassileva J. 2007. A review on trust and reputation for web service selection. In Proceeding of the 1st Int. Workshop on Trust and Reputation Management in Massively Distributed Computing Systems.
12. J. A. McCann, R. de Lemos, M. Huebscher, O. F. Rana, and A. Wombacher. 2006. Can self-managed systems be trusted? Some views and trends. Knowledge Engineering Review. Cambridge University Press. 21: 239-248. (Pubitemid 44610666)
13. Inverardi, P., Pelliccione, P., Tivoli, M. 2009. Towards an assume-guarantee theory for adaptable systems. ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS '09.
14. John Rushby. 2007. Just-in-Time Certification. In proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS).
15. ISO/IEC 9126-1:2001. Software Engineering - Product Quality - Part 1: Quality Model. 2001.
16. A. Avižienis, J. -. Laprie, B. Randell and C. Landwehr. 2004. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, vol. 1, pp. 11-33. (Pubitemid 40134576)
17. ISO/IEC 15408-1:2009, Common Criteria for Information Technology Security Evaluation - Part 1: Introduction and General Model. ISO, 2009.
18. Nelly Bencomo. 2009. On the Use of Software Models during Software Execution. Workshop on Modeling in Software Engineering MISE'2009, at ICSE'09.
19. Thomas Vogel and Holger Giese. 2010. Adaptation and Abstract Runtime Models. In Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS '10).
20. Betty H. Cheng et al. 2008. Software Engineering for Self-Adaptive Systems: A Research Roadmap. In Software Engineering for Self-Adaptive Systems. Lecture Notes In Computer Science, Vol. 5525. Springer-Verlag.
21. ISO/CD 26262, Road vehicles, Functional Safety Part 6: Product development software. Committee draft, 2008.
22. IEC 61508: Functional safety of electrical/electronic/programmable electronic safety related systems, International Electrotechnical Commission (1999).
23. Lisagor, O., McDermid, J.A., Pumfrey, D. J. 2006. Towards a Practicable Process for Automated Safety Analysis. In: 24th International System Safety Conference, pp. 596 - 607.
24. Kelly, T.P., Weaver, R. 2004. The Goal Structuring Notation - A Safety Argument Notation. in Proc. DSN Workshop on Assurance Cases.
25. http://www.autosar.org/
26. Patrick J. Graydon, John C. Knight and Elisabeth A. Strunk. 2007. Assurance Based Development of Critical Systems. International Symposium on Dependable Systems and Networks (DSN).
27. Schneider, D., Trapp, M. 2010. Conditional Safety Certificates in Open Systems. In Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety (CARS).