State-of-the-Art Tools and Techniques for Quantitative Modeling and Analysis of Embedded Systems
| Autor: | Bozga, M., David, A., Hartmanns, A., Hermanns, H., Larsen, K.G., Legay, A., Tretmans, J., Rosenstiel, W., Thiele, L. |
|---|---|
| Přispěvatelé: | Rosenstiel, W., Thiele, L., VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Grenoble (INPG)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Université Joseph Fourier - Grenoble 1 (UJF), Center for Indlejrede Software Systemer (CISS), Aalborg University [Denmark] (AAU), Universität des Saarlandes [Saarbrücken], Distributed and Iterative Algorithms for the Management of Telecommunications Systems (DISTRIBCOM), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), Computing Science Department (CS), Radboud university [Nijmegen], Wolfgang Rosenstiel and Lothar Thiele, Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Radboud University [Nijmegen] |
| Rok vydání: | 2012 |
| Předmět: |
Computer science
0202 electrical engineering electronic engineering information engineering Systems engineering Software Science 020207 software engineering 020201 artificial intelligence & image processing [INFO.INFO-ES]Computer Science [cs]/Embedded Systems 02 engineering and technology State (computer science) |
| Zdroj: | Rosenstiel, W.; Thiele, L. (ed.), Design, Automation & Test in Europe, Dresden Germany, March 12-16, 2012, pp. 370-375 Rosenstiel, W.; Thiele, L. (ed.), Design, Automation & Test in Europe, Dresden Germany, March 12-16, 2012, 370-375. Leuven, Belgium : European Design and Automation Association (EDAA) STARTPAGE=370;ENDPAGE=375;TITLE=Rosenstiel, W.; Thiele, L. (ed.), Design, Automation & Test in Europe, Dresden Germany, March 12-16, 2012 Bozga, M, David, A, Hartmanns, A, Larsen, K G, Legay, A & Tretmans, J 2012, ' State-of-the-art Tools and Techniques for Quantitative Modeling and Analysis of Embedded Systems ', A C M / I E E E Design Automation Conference. Proceedings, pp. 370-375 . https://doi.org/10.1109/DATE.2012.6176499 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012 2012 Design, Automation & Test in Europe Conference & Exhibition 2012 Design, Automation & Test in Europe Conference & Exhibition, Mar 2012, Dresde, Germany. pp.370-375, ⟨10.1109/DATE.2012.6176499⟩ |
| DOI: | 10.1109/DATE.2012.6176499 |
| Popis: | This paper surveys well-established/recent tools andtechniques developed for the design of rigorous embedded sys-tems. We will first survey U PPAAL and M ODEST, two toolscapable of dealing with both timed and stochastic aspects. Then,we will overview the BIP framework for modular design andcode generation. Finally, model-based testing will be discussed. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|