Functional and Structural Properties in the Model-Driven Engineering Approach

被引：1
|
作者：
Cancila, Daniela [1 ,2 ]
Passerone, Roberto [3 ]
机构：
[1] Univ Udine, DIMI, I-33100 Udine, Italy
[2] CEA LISE Saclay, Paris, France
[3] Univ Studi Trento, DISI, Trento, Italy
来源：
2008 IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS | 2008年
关键词：
D O I：
10.1109/ETFA.2008.4638491
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodological approach based on correctness-by-construction for modeling high-integrity real-time embedded systems. We illustrate how this separation is implemented by a prototype, recently realized by our research team. Software reuse is incremented by using the prototype. This has been confirmed by the evaluation of two teams from major European space industry. We conclude our work by discussing some open problems.
引用
收藏
页码：809 / +
页数：2
相关论文
共 50 条
  • [1] MODEL-DRIVEN ENGINEERING OF FUNCTIONAL SECURITY POLICIES
    Jiague, Michel Embe
    Frappier, Marc
    Gervais, Frederic
    Konopacki, Pierre
    Laleau, Regine
    Milhau, Jeremy
    St-Denis, Richard
    [J]. ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2010, : 374 - 379
  • [2] Putting performance engineering into model-driven engineering: Model-driven performance engineering
    Fritzsche, Mathias
    Johannes, Jendrik
    [J]. MODELS IN SOFTWARE ENGINEERING, 2008, 5002 : 164 - +
  • [3] A PROPOSAL FOR HANDLING NON-FUNCTIONAL ASPECTS WITH A MODEL-DRIVEN ENGINEERING APPROACH
    Munante, Denisse
    Aniorte, Philippe
    [J]. DYNA-COLOMBIA, 2012, 79 (173): : 43 - 52
  • [4] A model-driven approach to business software engineering
    Hildenbrand, T
    Korthaus, A
    [J]. 8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL IV, PROCEEDINGS: INFORMATION SYSTEMS, TECHNOLOGIES AND APPLICATIONS: I, 2004, : 74 - 79
  • [5] A Reflective Approach to Model-Driven Web Engineering
    Clowes, Darren
    Kolovos, Dimitris
    Holmes, Chris
    Rose, Louis
    Paige, Richard
    Johnson, Julian
    Dawson, Ray
    Probets, Steve
    [J]. MODELLING FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2010, 6138 : 62 - +
  • [6] Integrating the analysis of multiple non-functional properties in model-driven engineering
    Dorina C. Petriu
    [J]. Software and Systems Modeling, 2021, 20 : 1777 - 1791
  • [7] Model Engineering for Model-Driven Engineering
    van Lamsweerde, Axel
    [J]. EICS 2010: PROCEEDINGS OF THE 2010 ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS, 2010, : 211 - 211
  • [8] Integrating the analysis of multiple non-functional properties in model-driven engineering
    Petriu, Dorina C.
    [J]. SOFTWARE AND SYSTEMS MODELING, 2021, 20 (06): : 1777 - 1791
  • [9] Using model-driven approach for engineering the System Engineering System
    Arnould, Vincent
    [J]. 2018 13TH ANNUAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2018, : 608 - 614
  • [10] Model-driven engineering
    Schmidt, DC
    [J]. COMPUTER, 2006, 39 (02) : 25 - 31
12345