Structured language for specifications of quantitative requirements

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn 2000-January, Issue , 2000, Pages 221-227

  Dal Cin, M ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

Clocks; Information analysis; Logic; Natural languages; Performance analysis; Risk analysis; Specification languages; Stochastic processes; Stochastic systems; System performance

Indexed keywords

CLOCKS; COMPUTATIONAL LINGUISTICS; INFORMATION ANALYSIS; RANDOM PROCESSES; RISK ASSESSMENT; SPECIFICATION LANGUAGES; SPECIFICATIONS; STOCHASTIC SYSTEMS; SYSTEMS ENGINEERING;

DEPENDABLE SYSTEMS; ENGLISH SENTENCES; LOGIC; NATURAL LANGUAGES; NON-FUNCTIONAL REQUIREMENTS; PERFORMANCE ANALYSIS; STRUCTURED LANGUAGE; SYSTEM PERFORMANCE;

RISK ANALYSIS;

EID: 0009414628     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2000.895466     Document Type: Conference Paper

References (23)

1. M. Ajmone Marsan, et al. (1986): Performance Models of Multiprocessor Systems, The MIT Press, 1986.
2. S. Allmaier, Parallele Lösungen für stochastische Modellierung, PhD thesis, Arbeitsberichte des IMMD, Nr13, Erlangen 1999
3. S. Allmaier, D. Kreische, PANDA Petri Net Analysis and Design Assistant User's Guide, technical report 1/2000 Informatik 3 University of Erlangen 2000.
4. S. Allmaier, S. Dalibor, D. Kreische, Parallel graph generation algorithms for shared and distributed memory machines, Proc. Parallel Computing: Fundamentals, Applications and New directions, Vol 12 of Advances in Parallel Computing, pp. 581-588, Elsevier, 1998.
5. S. Allmaier, D. Kreische, Parallel approaches to the numerical transient analysis of stochastic solution of GSPNs on a shared memory multiprocessor, Proc. IEEE Int. Workshop on Petri Nets and Performance Models (PNPM'97), 1997.
6. S. Allmaier, S. Dalibor (1997): PANDA - Petri net ANalysis and Design Assistant, Tools Descriptions, 9th Int. Conf. on Modeling Techniques and Tools for Computer Performance Evaluation, St. Malo, 1997.
7. A. Aziz et al., Verifying continuous time Markov chains, Proc. Computer-Aided Verification, SLNCS 1102, 269-276, 1996. Proc. Fourth IEEE Int. High-Assurance System engineering Symposium (HASE'99
8. A. Bondavalli, M. Dal Cin,, D. Latella, A. Pataricza, High-level integrated desin envoronment for dependability (HIDE), IEEE Proc. WORDS'99, 1999.
9. C. Baier, J.-P. Katonen, H. Hermanns, Approximate symbolic model checking of continuous-time Markov chains, Proc. Concurrency Theory, SLNCS 16664,pp.146-162, 1999.
10. G. Ciardo, et al., Automated generation and analysis of Markov reward models using Stochastic Reward Nets, Linear Algebra, Markov Chains and Queueing Models, Springer , 1992
11. G. Ciardo, J. Muppala, K.S. Trivedi, SPNP: Stochasic Petri Net package, Proc IEEE Int Workshop on Petri Nets and Performance Models (PNPM'89) pp. 142-151, 1989.
12. M. Dal Cin, G. Huszerl, K. Kosmidis, Qualitative evaluation of dependability critical systems based on guarded statechart models, Proc. Fourth IEEE Int. High-Assurance System engineering Symposium (HASE'99), pp 37-45, 1999.
13. S. Flake, W. Mueller, J. Ruf, Structured English for model checking specifications, Proc. Methoden u. Beschreibungssprachen zur Modellierung u. Verifikation von Schaltungen u. Systemen, VDE Verlag 2000B.
14. M.D Fraser, K. Kumar, V.K. Vaishnavi, Strategies for incorporating formal specifications in software development, Communications of the ACM, Vol 37, pp 74-86,1994
15. th Conf. Computer Performance Evaluation, Modelling Techniques and Tools, SLNCS, 1997.
16. rd Int. Workshop Petri Nets and Performance Models (PNPM'97) , SLNCS 1245,1997.
17. V. Haronas-Garmhause, S. Campos, E. Clarke, ProbVerus: Probabilistic Symbolic Model Checking, Proc ARTS'99,SLNCS 1601, pp. 96-110, 1999.
18. H. Hermanns, et al. A markov chain model checker, Informatik 7, University of Erlangen, 1999.
19. HIDE: High-level Integrated Design Environment for Dependability, University of Erlangen-Nuremberg (FAU-IMMD3), Consortio Pisa Ricerche - Pisa Dependable Computing Centre (PDCC), Technical University of Budapest (TUB-MIT), MID GmbH, INTECS Sistemi S.p.A.
20. O.C. Ibe, K.S. Trivedi, Stochastic Petri net models of polling systems, IEEE J. On Se. Areas in Comms., pp. 1649-1657, 1990.
21. I. Lee, O. Sokolsky, A graphical property specification language, Proc. IEEE Int. High-Assurance System engineering Symposium (HASE'97) pp. 42-47 ,1997.
22. nd Workshop on Formal Methods in Software Practice, 1998.
23. B. Matthiew et al., Property specification patterns for finite-state verification, Proc. 21. Int. Conf. on Software Engineering, 1999.