A model based development approach for distributed embedded systems

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

Volumn 2941, Issue , 2004, Pages 137-151

  Gilliers, Frédéric ^b,c   Kordon, Fabrice ^a   Regep, Dan ^a  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^b Sagem SA   (France)

^c NONE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; NETWORK COMPONENTS;

AUTOMATIC CODE GENERATIONS; DEVELOPMENT PROCESS; DEVELOPMENT TECHNIQUE; DISTRIBUTED EMBEDDED SYSTEM; DISTRIBUTED SYSTEMS; MODEL BASED DEVELOPMENT; RELIABLE DISTRIBUTED SYSTEMS; VERIFICATION TECHNIQUES;

EMBEDDED SYSTEMS;

EID: 35048877870     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24626-8_9     Document Type: Article

References (24)

1. J. Abrial. The B-book. Cambridge University Press, 1995.
2. P. Bose. Automated translation of UML models of architectures for verification and simulation using SPIN. In Robert J. Hall and Ernst Tyugu, editors, 14th IEEE International Conference on Automated Software Engineering, ASE'99. IEEE, 1999.
3. J. Corbett. Evaluating deadlock detection methods for concurrent software. Software Engineering, 22(3):161-180, 1996.
4. B. Dobbing and A. Burns. The Ravenscar tasking profile for high integrity real-time programs. In Proceedings of SigAda'98, Washington, DC, USA, November 1998.
5. S. Gnesi, D. Latella, and M. Massink. Model checking uml statechart diagrams using jack. In 4th IEEE International Symposium on High-Assurance Systems Engineering. IEEE, 1999.
6. D. Helmbold and D. Luckham. Debugging Ada tasking programs. IEEE Software, 2(2):47-57, March 1985.
7. ISO. Information Technology - Programming Languages - Ada. ISO, February 1995. ISO/IEC/ANSI 8652:1995.
8. ITU-T. Open Distributed Processing, X.901, X.902, X.903 and X.904 standard. Technical report, ITU-T, 1997.
9. I. Khriss, M Elkoutbi, and R. Keller. Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams. In Jean Bézivin and Pierre-Alain Muller, editors, First International Workshop on The Unified Modeling Language, UML'98: Beyond the Notation, volume 1618 of LNCS, pages 132-147. Springer-Verlag, 1999.
10. F. Kordon, , I Mounier, E. Paviot-Adet, and D. Regep. Formal verification of embedded distributed systems in a prototyping approach. In International Workshop on Engineering Automation for Software Intensive System Integration, June 2001.
11. F. Kordon and Luqi. An introduction to rapid system prototyping. IEEE Transaction on Software Engineering, 28(9):817-821, September 2002.
12. N. Leveson. Software engineering: Stretching the limits of complexity. Communications of the ACM, 40(2):129-131, 1997.
13. Luqi and J. Goguen. Formal methods: Promises and problems. IEEE Software, 14(1):73-85, January/February 1997.
14. S. Marc, S. Otto, S. Huss-Lederman, D. Walker, and J. Dongarra. MPI: The Complete Reference. MIT Press, 1996.
15. N. Medvidovic and R. Taylor. A classification and comparison framework for software architecture description languages. Software Engineering, 26(1):70-93, 2000.
16. SUN Microsystems. Java Remote Method Invocation (RMI), version 1.3. Technical report, SUN, 2001.
17. OMG. The common object request broker: Architecture and specification, revision 2.2. Technical report, OMG, 1998.
18. OMG. Omg unified modeling language specification, version 1.3. Technical report, OMG, 1999.
19. OMG. Initial Submission to OMG RFP's: ad/00-09-01 (UML 2.0 Infrastructure) ad/00-09-03 (UML 2.0 OCL). Technical report, OMG, 2001.
20. OMG. Model Driven Architecture (MDA), Document number ormsc/2001-07-01. Technical report, OMG, 2001.
21. QNX. System Architecture Guide - QNX RTOS v6, 2002.
22. D. Quartel, M. van Sinderen, and L. Ferreira Pires. A model-based approach to service creation. In 7th IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, pages 102-110. IEEE Computer Society, 1999.
23. D. Regep and F. Kordon. LfP: a specification language for rapid prototyping of concurrent systems. In 12th IEEE International Workshop on Rapid System Prototyping, June 2001.
24. J. Zhao. A slicing-based approach to extracting reusable software architectures. In CSMR, pages 215-223, 2000.