Functional and structural properties in the Model-Driven Engineering approach

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn , Issue , 2008, Pages 809-816

  Cancila, Daniela ^a,b   Passerone, Roberto ^c  

^a UNIVERSITY OF UDINE   (Italy)

^b DIF   (France)

^c UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EUROPEAN SPACE INDUSTRIES; MODEL DRIVEN ENGINEERINGS; OPEN PROBLEMS; RESEARCH TEAMS; SOFTWARE RE USES;

COMPUTER SOFTWARE REUSABILITY; FACTORY AUTOMATION; INTEGRATED CIRCUITS; ISOMERS; REAL TIME SYSTEMS; SEMICONDUCTOR QUANTUM DOTS; SYSTEMS ANALYSIS;

EMBEDDED SYSTEMS;

EID: 56349087868     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2008.4638491     Document Type: Conference Paper

References (35)

1. ASSERT Project. www.assert-project.net.
2. Astrium-Toulouse (France). MPC AS-SERT assessment. Technical Report 004033.MPC-ASTRIUM_SAT.DVRB.1, ASSERT - Restricted to the Consortium, 2007.
3. F. Balarin, L. Lavagno, C. Passerone, A. L. S. Vincentelli, M. Sgroi, and Y. Watanabe. Modeling and Designing Heterogeneous Systems. In J. Cortadella and A. Yakovlev, editors, Advances in Concurrency and System Design. Springer-Verlag, 2002.
4. S. Bliudze and J. Sifakis. The Algebra of Connectors - Structuring Interaction in BIP. In Int. Conf. EMSOFT, pages 11-20, 2007.
5. B. Boehm and H. In. Cost vs. Quality Requirements: Conflict Analysis and Negotiation Aids. Software Quality Professional, 1(2):38-50, 1999.
6. M. Bordin, M. Panunzio, and T. Vardanega. Fitting Sehedulability Analysis Theory into Model-Driven Engineering. In Euromicro SEEA. IEEE, 2008. (to appear).
7. R. Bruni, A. Llueh Lafuente, U. Montanari, and E. Tuosto. Style Based Reconfigurations of Software Architectures with QoS constraints. www.albertolluch.com/papers/adrqos.pdf, 2007.
8. A. Burns, B. Dobbing, and T. Vardanega. Guide to the Use of the Ada Ravenscar Profile in High Integrity Systems. Technical Report YCS-2003-348, University of York (UK), 2003. http://www.cs.york.ac.uk/ftpdr/reports/YCS-2003- 348.pdf.
9. A. Burns and A. Wellings. HRT-HOOD A Structural Design Method for Hard Real-Time Ada Systems. University of York (UK), Elsevier, 1995.
10. D. Cancila, R. Passerone, and T. Vardanega. An Algebra of the Interaction of Components in the Ravenscar Computational Model. University of Udine, Italy, 2008.
11. D. Cancila, M. Trevisan, and T. Vardanega. (Guide for using AP-level modeling containers) HRT-UML/RCM Tutorial a gentle introduction to the HRT-UML/RCM methodology. http://www.math.unipd.it/~tullio/Research/ASSERT/ Tutorial.
12. D. Cancila and T. Vardanega. Correctness by Construction in an MDE Light. University of Udine, Italy, 2008.
13. A. Chakrabarti, L. de Alfaro, T. Henzinger, and M. Stoelinga. Resource Interfaces. In Proc. EMSOFT 2003, 2003.
14. R. Chapman. Correctness by Construction: A Manifesto for High-Integrity Software. http: //www.stsc.hill.af.mil/CrossTalk/2005/12/0512CroxfordChapman. html, 2005.
15. Eclipse-modeling. http://www.eclipse.org/modeling.
16. t h Int. Workshop on Software Specification and Design, pages 60-67, 1998.
17. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley, 1995.
18. J. Goodenough and L. Sha. The priority ceiling protocol: a method for minimizing the blocking of high priority ada tasks. Technical Report SEI-SSR-4, Software Engineering Institute, Pittsburgh, Pennsylvania, 1988.
19. Software Product Evaluation - Quality Characteristics and Guidelines for their Use, 1991. ISO/IEC Standard ISO-9126.
20. M. Kircher and M. Volter. Software Patterns, July-August 2007.
21. D. Lopes, S. Hammoudi, J. Bézivin, and F. Jouault. Mapping Specification in MDA: From Theory to Practice. In INTEROP-ESA'05, 2005.
22. J. Mukerji and J. Miller. MDA Guide Version 1.0.1. www.omg.org/docs/omg/ 03-06-01.pdf, 2003.
23. OMG. Catalog of Specifications. www.omgmarte.org.
24. S. Röttger and S. Zschaler. Model-Driven Development for Non-functional Properties: Refinement through Model Transformation. citeseer.ist.psu.edu/715500.html.
25. SAE. Architecture Analysis and Design Language. http://www.aadl.info.
26. A. L. Sangiovanni-Vincentelli. Defining Platform-Based Design. EEdesign, February 2002.
27. D. Schmidt. Model-Driven Engineering. IEEE Computer, pages 25-31, February 2006.
28. B. Selic. From Model-Driven Development to Model-Driven Engineering. Keynote talk at ECRTS'07. http://feanor.sssup.it/ecrts07/keynotes/kl-selic.pdf.
29. L. Sha, R. Rajkumar, and J. Lehoczky. Priority inheritance protocols: an approach to real-time synchronization. IEEE Tr. on Computers, 39(9): 1175-1185, 1990.
30. A. Snyder. Encapsulation and inheritance in objectoriented languages. In Object-Oriented Programming Systems, Languages, and Apllications Conf. Proc, pages 38-45. ACM Press, 1986.
31. Thales Alenia Space (France). HRI Experiment Report for the ASSERT Process, and the Modelling, Verification & Code Generation Tools. Technical Report 004033.HRI_TASF.DVRB.6, ASSERT - Restricted to the Consortium, 2007.
32. L. Thiele, E. Wandeler, and N. Stoimenov. Real-Time Interfaces for Composing Real-Time Systems. In Int. Conf. EMSOFT, pages 34-43, 2006.
33. th IEEE Int. Conf. on Embedded and Real-Time Computing Systems and Applications, pages 223-230. IEEE, August 2006.
34. T. Vardanega, J. Zamorano, and J. de la Puente. On the Dynamic Semantics and the Timing Behaviour of Ravenscar Kernels. In Real-Time Systems, Springer-Science, 29:58-89, 2005.
35. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling With UML. Addison Wesley, 1998.