Early Prototyping of Reactive Systems Through
the Generation of SDL Specifications from Semi-formal Development Documents
Andreas Metzger, Stefan Queins
Online References
-
[ALB99] D. Amyot, L. Logrippo, R.J.A. Buhr,
et al. “Use Case Maps for the Capture and Validation of Distributed Systems
Requirements” in Fourth International Symposium on Requirements Engineering
(RE'99). Limerick, Ireland. June, 1999.
http://www.usecasemaps.org/pub/re99.pdf
-
[Ebe92] C. Ebert. “Experiences with Colored
Predicate-transition Nets for Specifying and Prototyping Embedded Systems”
in IEEE Transactions on Systems, Man and Cybernetics. Part B (Cybernetics).
Vol. 28. No. 5. October, 1998. pp. 641–652
http://www.informatik.uni-hamburg.de/TGI/pnbib/e/ebert_c1.html
-
[FMQ99] R. Feldmann, J. Münch, S. Queins,
et al. Baselining a Domain-Specific Software Development Process.
SFB 501 Report No. 02/99. University of Kaiserslautern. 1999
http://wwwagse.informatik.uni-kl.de/Projects/SFB_Subprojects/B1/documents/SFB0299.ps
-
[ITU99] ITU-T. Specification and Description
Language (SDL). Recommendation Z.100 (11/99). Geneva, Switzerland:
International Telecommunication Union. 1999
http://www.itu.int/ITU-T/studygroups/com10/languages/Z.100_1199.pdf
-
[ITU00] ITU-T. Common Interchange Format
for SDL. Recommendation Z.106 (11/00). Geneva, Switzerland: International
Telecommunication Union. 2000
http://www.itu.int/rec/recommendation.asp?type=items&lang=e&parent=T-REC-Z.106-200011-P
-
[KGS99] I. Krüger, R. Grosu, P. Scholz,
et al. “From MSCs to Statecharts” in Franz J. Rammig (Ed.). Distributed
and Parallel Embedded Systems. Kluwer Academic Publishers. 1999
http://www4.informatik.tu-muenchen.de/papers/KGSB99.ps.gz
-
[MaV00] N. Mansurov, D. Vasura. “Approximation
of (H)MSC semantics by Event Automata” in Proceedings of the SAM 2000
Workshop. Grenoble, France. 2000
http://www.irisa.fr/manifestations/2000/sam2000/PAPERS/P22-Mansurov.ps.gz
-
[MeQ01] A. Metzger, S. Queins. “A Reuse- and
Prototyping-based Approach for the Specification of Building Automation
Systems” in A. Schürr (Ed.). OMER-2 Workshop Proceedings. Herrsching;
Munich: University of the Federal Armed Forces. 2001. pp. 3–9
http://wwwagz.informatik.uni-kl.de/staff/metzger/papers/MeQ01.pdf
-
[MMZ02] A. Mahdavi, A. Metzger, G. Zimmermann.
“Towards a Virtual Laboratory for Building Performance and Control” in
R. Trappl (Ed.) Cybernetics and Systems 2002. Vol. 1. Vienna: Austrian
Society for Cybernetic Studies. 2002. pp. 281–286
http://wwwagz.informatik.uni-kl.de/staff/metzger/papers/MMZ02.pdf
-
[QuM02] S. Queins, A. Metzger. “The PROBAnD
Railway Crossing Specification”. Contribution to the SDL-2000 Design
Contest of the 3rd SAM Workshop. Aberystwyth, Wales. June, 2002
http://wwwagz.informatik.uni-kl.de/d1-projects/ResearchProjects/RailwayCrossing/Documentation/
-
[TST02] M. Trapp, B. Schürmann, T. Tetteroo.
“Failure Behavior Analysis for Reliable Distributed Embedded Systems” in
Proceedings of IPDPS – Workshop on Parallel and Distributed Real-Time
Systems. Fort Lauderdale, Fla. April, 2002
http://wwwagz.informatik.uni-kl.de/~trapp/papers/wpdrts2002.pdf
-
[W3C97] W3C. HTML 3.2 Reference Specification.
W3C Recommendation. World Wide Web Consortium. Cambridge, Mass. 1997
http://www.w3.org/TR/REC-html32
-
[Zim98] G. Zimmermann. “Domain Specific Model
Architecture for Complex Embedded Systems: A Building Automation Case Study”
in H. Franke, B. Kleinjohann, J. Sztipanovits (Eds.). Adaptation and
Evolution in Embedded Information Systems. Seminar No. 98441. Report
No 226. Dagstuhl. 1998
http://wwwagz.informatik.uni-kl.de/publications/publications.1.dir/Zim99.0/abstract.html
Andreas
Metzger