A UML profile for requirements analysis of dependable software

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

Volumn 6351 LNCS, Issue , 2010, Pages 317-331

  Hatebur, Denis ^a   Heisel, Maritta ^a  

^a Institut für Technische Systeme GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COOPERATIVE ADAPTIVE CRUISE CONTROL; DEPENDABLE SOFTWARES; DEVELOPMENT ENVIRONMENT; RANDOM FAULTS; REQUIREMENTS ANALYSIS; SECURITY ENGINEERING; TOOL SUPPORT; UML DIAGRAMS; UML PROFILES; UML TOOLS;

ADAPTIVE CONTROL SYSTEMS; COMPUTER CONTROL; RELIABILITY; REQUIREMENTS ENGINEERING; SAFETY ENGINEERING;

QUALITY ASSURANCE;

EID: 77956561430     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15651-9_24     Document Type: Conference Paper

References (17)

1. Common Methodology for Information Technology Security Evaluation (August 2005), http://www.commoncriteriaportal.org/public/expert/
2. Common Criteria for Information Technology Security Evaluation, Version 3.1 (September 2006), http://www.commoncriteriaportal.org/public/expert/
3. Eclipse - An Open Development Platform (May 2008), http://www.eclipse. org/
4. Eclipse Modeling Framework Project (EMF) (May 2008), http://www.eclipse. org/modeling/emf/
5. Papyrus UML Modelling Tool (January 2010), http://www.papyusuml.org/
6. Charfi, A., Gamatíe, A., Honoŕe, A., Dekeyser, J.-L., Abid, M.: Validation de mod̀eles dans un cadre d'IDM d́edíe ̀a la conception de syst̀emes sur puce. In: 4̀emes Jouńees sur l'Inǵenierie Diriǵee par les Mod̀eles, IDM 2008 (2008)
7. Hall, J.G., Rapanotti, L., Jackson, M.: Problem frame semantics for software development. Software and System Modeling 4(2), 189-198 (2005)
8. Hatebur, D., Heisel, M.: A foundation for requirements analysis of dependable software. In: Buth, B., Rabe, G., Seyfarth, T. (eds.) SAFECOMP 2009. LNCS, vol.5775, pp. 311-325. Springer, Heidelberg (2009)
9. Hatebur, D., Heisel, M.: A UML profile for requirements analysis of dependable software (technical report). Technical report, Universität Duisburg-Essen (2010), http://swe.uni-due.de/techrep/depprofile.pdf
10. Hatebur, D., Heisel, M., Schmidt, H.: A pattern system for security requirements engineering. In: Werner, B. (ed.) IEEE Transactions Proceedings of the International Conference on Availability, Reliability and Security (AReS), pp. 356-365. IEEE, Los Alamitos (2007)
11. International Electrotechnical Commission IEC. Functional safety of electrical/electronic/ programmable electronic safty-relevant systems (2000)
12. Jackson, M.: Problem Frames. Analyzing and structuring software development problems. Addison-Wesley, Reading (2001)
13. Lencastre, M., Botelho, J., Clericuzzi, P., Aráujo, J.: A meta-model for the problem frames approach. In: WiSME 2005: 4th Workshop in Software Modeling Engineering (2005)
14. Seater, R., Jackson, D., Gheyi, R.: Requirement progression in problem frames: deriving specifications from requirements. Requirements Engineering 12(2), 77-102 (2007)
15. UML Revision Task Force. OMG Object Constraint Language: Reference (May 2006), http://www.omg.org/docs/formal/06-05-01.pdf
16. UML Revision Task Force. OMG Systems Modeling Language (OMG SysML) (November 2008), http://www.omg.org/spec/SysML/1.1/
17. UML Revision Task Force. OMG Unified Modeling Language: Superstructure (February 2009), http://www.omg.org/docs/formal/09-02-02.pdf