Software/hardware engineering with the parallel object-oriented specification language

Proceedings - Fifth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'07

Volumn , Issue , 2007, Pages 139-148

  Theelen, B D ^a   Florescu, O ^a   Geilen, M C W ^a   Huang, J ^a   Van Der Putten, P H A ^a   Voeten, J P M ^a,b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b EMBEDDED SYSTEMS INSTITUTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ITERATIVE METHODS; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS; SPECIFICATION LANGUAGES; SYSTEMS ANALYSIS;

AUTOMATIC SYNTHESIS; PARALLEL OBJECT-ORIENTED SPECIFICATION LANGUAGE; SHE;

SOFTWARE ENGINEERING;

EID: 34548816459     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MEMCOD.2007.371231     Document Type: Conference Paper

References (44)

1. R. Alur. Techniques for Automatic Verification of Real-Time Systems. PhD Thesis. Stanford University, 1991.
2. M. Björkander and C. Kobryn. Architecting Systems with UML 2.0. IEEE Software, vol 20 (4), pp 57-61, 2003.
3. L.J. van Bokhoven. Constructive Tool Design for Formal Languages; From Semantics to Executing Models. PhD Thesis. Eindhoven University of Technology, 2002.
4. T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, vol. 14 (1), pp 25-59, 1987.
5. F. Boussinot and R. de Simone. The Esterel Language. Proceedings of the IEEE, vol 79, pp 1293-1304, 1991.
6. X. Chang. Network Simulations with OPNET. Proceedings of WSC, pp 307-314, 1999.
7. M.A. Cranes and A.J. Lemoine. An Introduction to the Regenerative Method for Simulation Analysis. Lecture Notes in Control and information Sciences, vol 4, 1977.
8. C. Eisner and D. Fisman. A Practical Introduction to PSL. Springer, 2006.
9. O. Florescu, J.P.M. Voeten, M. Verhoef and H. Corporaal. Reusing Real-Time Systems Design Experience through Modeling Patterns. Proceedings of FDL, pp 19-22, 2006.
10. O. Florescu, J. Huang, J.P.M. Voeten and H. Corporaal. Strengthening Property Preservation in Concurrent Real-Time Systems. Proceedings of RTCSA, pp 106-109, 2006.
11. M.C.W. Geilen. On the Construction of Monitors for Temporal Logic Properties. Electronic Notes in Theoretical Computer Science, vol 55 (2), 2001.
12. M.C.W. Geilen. Formal Techniques for Verification of Complex Real-Time Systems. PhD Thesis. Eindhoven University of Technology, 2002.
13. T. Grötker, S. Liao, G. Martin and S. Swan. System Design with SystemC. Kluwer Academic Publishers, 2002.
14. G. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, 1991.
15. J. Huang. Predictability in Real-Time System Design. PhD Thesis. Eindhoven University of Technology, 2005.
16. J. Huang, J.P.M. Voeten, M. Groothuis, J. Broenink and H. Corporaal. A Model-Driven Design Approach for Mechatronic Systems. Proceedings of ACSD, 2007.
17. K. Keutzer, S. Malik, R. Newton, J. Rabaey and A. Sangiovanni- Vincentelli. System Level Design: Orthogonalization of Concerns and Platform-Based Design. IEEE Transactions on Computer-Aided Design of Circuits and Systems, vol 19 (12), pp 1523-1543, 2000.
18. R. Koymans. Specifying Real-Time Properties with Metric Temporal Logic. Real-Time System, vol. 2 (4), pp 255-299. 1990.
19. O. Kupferman and M.Y. Vardi. Model. Checking of Safety Properties. Proceedings of CAV, pp 172-183, 1999.
20. M. Kwiatkowska, G. Norman, R. Segala, and J. Sproston. Automatic Verification of Real-Time Systems with Discrete Probability Distributions. Theoretical Computer Science, vol 282, pp 101-150, 2002.
21. ITU-T. Recommendation Z. 100: Specification and Description Language (SDL). November 1999.
22. K.G. Larsen, P. Pettersson and W. Yi. UPPAAL in a Nutshell. Journal on Software Tools for Technology Transfer, vol. 1 (1-2), pp 134-152, 1997.
23. G. Lopez. Modélisation, Simulation et Vérification d'un Protocole de Telecommunication. MSc Thesis. Eindhoven University of Technology, 1998.
24. Z. Manna and A. Pnuli. The Temporal Logic of Reactive and Concurrent Systems. Springer Verlag, 1992.
25. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
26. W. Müller, J. Ruf, D. Hoffman, J. Gerlach, T. Kropf and W. Rosenstiehl. The Simulation Semantics of SystemC. Proceedings of DATE, pp 64-70, 2001.
27. L. Noonan and C. Flanagan. Utilising Evolutionary Approaches and Object Oriented Techniques for Design Space Exploration. Proceedings of DSD, pp 346-352, 2006.
28. X. Nicollin and J. Sifakis. An Overview and Synthesis on Timed Process Algebras. Proceedings of CAV, pp 376-398, 1991.
29. OMG. UML Profile for Schedulabitity, Perfonnance and Time Specification. OMG Adopted Specification ptc/02-03-02. Object Management Group, 2002.
30. B. Partee, A. ter Meulen and R. Wall. Mathematical Methods in Linguistic. Kluwer Academic Publishers, 1990.
31. P.H.A. van der Putten and J.P.M. Voeten. Specification of Reactive Hardware/Software Systems. PhD Thesis. Eindhoven University of Technology, 1997.
32. J. Rumbaugh, I. Jacobson and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999.
33. R. Segala. Modeling and Verification of Randomized Distributed Real-Time Systems. PhD Thesis. MIT, 1995.
34. B. Stroustrap. The C++ Programming Language. Addison-Wesley, 1997.
35. Telelogic TAU Generation 2. See http://taug2.com. 2002.
36. B.D. Theelen. Performance Modelling for System-Level Design. PhD Thesis. Eindhoven University of Technology, 2004.
37. B.D. Theelen, M.C.W. Geilen, T. Basten, J.P.M. Voeten, S.V. Gheorghita and S. Stuijk. A Scenario-Aware Data Flow Model for Combined Lorig-Run Average and Worst-Case Performance Analysis. Proceedings of MEMOCODE, pp 185-194, 2006.
38. B.D. Theelen, J.P.M. Voeten and R.D.J. Kramer. Performance Modelling of a Network Processor using POOSL. Journal of Computer Networks, vol 41 (5), pp 667-684, 2003.
39. H.C. Tijms. Stochastic Models; An Algorithmic Approach. John Wiley & Sons, 1994.
40. M. Verhappen, J.P.M. Voeten and P.H.A. van der Putten. Traversing the Fundamental System-Level Design Gap using Modelling Patterns. Proceedings of FDL, 2003.
41. J.P.M. Voeten. Performance Evaluation with Temporal Rewards. Performance Evaluation, vol. 50 (2/3), pp 189-218, 2002.
42. F.N. van Wijk, J.P.M. Voeten and A.J.W.M. ten Berg. An Abstract Modeling Approach Towards System-Level. Design-Space Exploration. System Specification and Design Languages, chapter 22, pp. 267-282, 2003.
43. M.D. Wulf, L. Doyen and J.F. Raskin. Systematic Implementation of Real-Time Models. LNCS 3582, pp 139-156, 2005.
44. SHE/POOSL website, see http://www.es.ele.tue.nl/poos1