Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Sciences informatiques
Identifiants :
UNILU:UL-CONFERENCE-2012-476
Auteur, co-auteur :
BRIAND, Lionel ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Falessi, Davide; Simula Research Lab, Norway
NEJATI, Shiva ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
SABETZADEH, Mehrdad ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Yue, Tao; Simula Research Lab, Norway
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering
Date de publication/diffusion :
2012
Nom de la manifestation :
MODELS 2012
Lieu de la manifestation :
Innsbruck, Autriche
Date de la manifestation :
30-9-2012 to 5-10-2012
Manifestation à portée :
International
Titre de l'ouvrage principal :
15th ACM/IEEE International Conference Model Driven Engineering Languages and Systems
France, R., Rumpe, B.: Model-driven development of complex software: A research roadmap. In: FOSE, pp. 37-54 (2007)
Mohagheghi, P., Dehlen, V.: Where Is the Proof? - A Review of Experiences from Applying MDE in Industry. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 432-443. Springer, Heidelberg (2008)
Hutchinson, J., Rouncefield, M., Whittle, J.: Model-driven engineering practices in industry. In: ICSE, pp. 633-642 (2011)
Hutchinson, J., Whittle, J., Rouncefield, M., Kristoffersen, S.: Empirical assessment of mde in industry. In: ICSE, pp. 471-480 (2011)
Object Management Group (OMG): Systems Modeling Language (SysML), version 1.1. (2008), (http://www.omg.org/docs/formal/08-11-02.pdf
Nejati, S., Sabetzadeh, M., Falessi, D., Briand, L., Coq, T.: A sysml-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies. Technical Report 2011-01, SRL (2011)
Falessi, D., Nejati, S., Sabetzadeh, M., Briand, L., Messina, A.: Safeslice: a model slicing and design safety inspection tool for sysml. In: SIGSOFT FSE, pp. 460-463 (2011)
Sabetzadeh, M., Nejati, S., Briand, L., Evensen Mills, A.: Using SysML for modeling of safety-critical software-hardware interfaces: Guidelines and industry experience. In: HASE (2011) (to appear)
Behjati, R., Nejati, S., Yue, T., Gotlieb, A., Briand, L.: Model-based automated and guided configuration of embedded software systems (2012) (in submission)
Behjati, R., Yue, T., Briand, L., Selic, B.: Simpl: A product-line modeling methodology for families of integrated control systems. Technical Report 2011-01, SRL (2011)
Behjati, R., Yue, T., Nejati, S., Briand, L., Selic, B.: Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol. 6698, pp. 236-252. Springer, Heidelberg (2011)
Sabetzadeh, M., Falessi, D., Briand, L., Alesio, S.D., McGeorge, D., Åhjem, V., Borg, J.: Combining goal models, expert elicitation, and probabilistic simulation for qualification of new technology. In: HASE (2011) (to appear)
Falessi, D., Sabetzadeh, M., Alesio, S.D., Briand, L.: Modus: A tool for goal-based safety and reliability assessessment of new technologies (2011) (submitted)
van Lamsweerde, A.: Requirements Engineering - From System Goals to UML Models to Software Specifications. Wiley (2009)
O'Hagan, A., Buck, C., Daneshkhah, A., Eiser, J., Garthwaite, P., Jenkinson, D., Oakley, J., Rakow, T.: Uncertain Judgements: Eliciting Experts' Probabilities. Wiley (2006)
Robert, C., Casella, G.: Monte Carlo Statistical Methods. Springer (2005)
Det Norske Veritas: Qualification procedures for new technology DNV-RP-A203, DNV (2001)
Det Norske Veritas: Technology qualification management DNV-OSS-401, DNV (2010)
Gorschek, T., Garre, P., Larsson, S., Wohlin, C.: A model for technology transfer in practice. IEEE Software 23(6), 88-95 (2006)
Ericson, C.: Hazard Analysis Techniques for System Safety. John Wiley & Sons (2005)
Object Management Group (OMG): A UML profile for MARTE: Modeling and analysis of real-time embedded systems (May 2009)
Lewerentz, C., Lindner, T. (eds.): Formal Development of Reactive Systems - Case Study Production Cell, Formal Development of Reactive Systems. LNCS, vol. 891. Springer (1995)
Tarr, P.: So you want to marry an industrial. Presentation (2011)
