Separation of concerns in the formal design of real-time shared data-space systems

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn 2003-January, Issue , 2003, Pages 71-81

  Mousavi, MohammadReza ^a   Reniers, Michel ^a   Basten, Twan ^a   Chaudron, Michel ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Computational modeling; Computer science; Concurrent computing; Design methodology; Object oriented modeling; Object oriented programming; Real time systems; Robustness; Software design; Timing

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SCIENCE; COMPUTER SYSTEMS PROGRAMMING; INTERACTIVE COMPUTER SYSTEMS; OBJECT ORIENTED PROGRAMMING; ROBUSTNESS (CONTROL SYSTEMS); SOFTWARE DESIGN; SYSTEMS ANALYSIS;

COMPUTATIONAL MODEL; CONCURRENT COMPUTING; DESIGN METHODOLOGY; OBJECT ORIENTED MODEL; TIMING;

REAL TIME SYSTEMS;

EID: 84904010899     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSD.2003.1207701     Document Type: Conference Paper

References (16)

1. J.-R. Abrial, E. Börger, and H. Langmaack, editors. Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control. LNCS 1165. Springer, 1996.
2. J.-P. Banâtre, P. Fradet, and D. Le Métayer. Gamma and the chemical reaction model: Fifteen years after. In C. S. Calude, G. Pəaun, G. Rozenberg, and A. Salomaa, editors, Multiset Processing: Mathematical, Computer Science, and Molecular Computing Points of View, LNCS 2235, pages 17-44. Springer, 2001.
3. M. R. V. Chaudron. Separating Computation and Coordination in the Design of Parallel and Distributed Programs. PhD thesis, Department of Computer Science, Rijksuniversiteit Leiden, Leiden, The Netherlands, 1998.
4. M. Daniels. Modelling real-time behavior with an interval time calculus. In J. Vytopil, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, Second International Symposium, Proceedings,LNCS 571, pages 53-71. Springer, 1991.
5. J. Davies and S. Schneider. A brief history of Timed CSP. Theoretical Computer Science, 138(2):243-271, 1995.
6. E. de Jong. Transaction-based Programming. PhD thesis, Department of Computer Science, Rijksuniversiteit Leiden, Leiden, The Netherlands, 1992.
7. T. Elrad, R. E. Filman, and A. Bader, editors. Communications of the ACM. Special Issue on Aspect Oriented Programming. 44(10), 2001.
8. U. Hannemann and J. Hooman. Formal design of real-time components on a shared data space architecture. In Proceedings of the Annual International Computer Software and Applications Conference (COMPSAC 2001), pages 143-150. IEEE Computer Society Press, 2001.
9. W. Harrison and H. Ossher. Subject-oriented programming (A critique of pure objects). In A. Paepcke, editor, Proceedings ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, in ACM SIGPLAN Notices, 28(10), pages 411-428. ACM Press, 1993.
10. J.-M. Jacquet, K. de Bosschere, and A. Brogi. On timed coordination languages. In A. Porto and G.-C. Roman, editors, Fourth International Conference on Coordination Models and Languages, LNCS 1906, pages 81-99. Springer, 2002.
11. M. Mousavi, T. Basten, M. Reniers, M. Chaudron, and G. Russello. Separating functionality, behavior and timing in the design of reactive systems: (GAMMA + coordination) + time. Technical Report CSR-02-09, Eindhoven University of Technology, Eindhoven, The Netherlands, 2002.
12. M. Mousavi, G. Russello, M. Chaudron, M. Reniers, T. Basten, A. Cursaro, S. Shukla, R. Gupta, and D. C. Schmidt. Using Aspect-GAMMA in the design of embedded systems. In Proceedings of the Seventh Annual IEEE International Workshop on High Level Design Validation and Test. IEEE Computer Society Press, 2002.
13. S. Owre, J. Rushby, and N. Shankar. PVS: A prototype verification system. In D. Kapur, editor, 11th International Conference on Automated Deduction (CADE), LNAI 607, pages 748-752. Springer, 1992.
14. P. Tarr, H. L. Ossher, W. H. Harrison, and S. M. Sutton, Jr. N degrees of separation: Multi-dimensional separation of concerns. In Proceedings of the 21st International Conference on Software Engineering, pages 107-119. IEEE Computer Society Press / ACM Press, 1999.
15. J. J. Vereijken. Discrete Time Process Algebra. PhD thesis, Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands, 1997.
16. A. Willig and I. Schieferdecker. Specifying and verifying the steam-boiler control system with Time Extended LOTOS. In [1], pages 473-492, Springer, 1996.