Model-based Analysis and Testing of Embedded Systems

Nielsen, Brian (Project Participant)
Larsen, Kim Guldstrand (Project Participant)
David, Alexandre (Project Participant)
Mikucionis, Marius (Project Participant)
Skou, Arne (Project Participant)

12 Article in proceeding
3 Journal article
1 Paper without publisher/journal
1 Working paper

12 results

Filter

2015

Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks
Boudjadar, J., Kim, J. H., David, A., Larsen, K. G., Mikucionis, M., Nyman, U., Skou, A., Lee, I. & Thi Xuan Phan, L., 2015, 18th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2015. IEEE, p. 74-83 (International Symposium on Object-Oriented Real-Time Distributed Computing).
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

File

2 Citations (Scopus)

614 Downloads (Pure)
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context
Kim, J. H., Boudjadar, J., Nyman, U., Mikucionis, M., Larsen, K. G., Skou, A., Lee, I. & Thi Xuan Phan, L., 4 May 2015, CBSE'15, Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering. Association for Computing Machinery, p. 91-100
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

File

7 Citations (Scopus)

547 Downloads (Pure)
Uppaal Stratego
David, A., Jensen, P. G., Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2015, Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015. Baier, C. & Tinelli, C. (eds.). London, UK: Springer, p. 206-211 6 p. (Lecture Notes in Computer Science; No. 9035).
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
114 Citations (Scopus)
Widening the Schedulability Hierarchical Scheduling Systems
Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 2015, Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. Lanese, I. & Madelaine, E. (eds.). Springer, p. 209-227 18 p. (Lecture Notes in Computer Science; No. 8997).
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Open Access
File
11 Citations (Scopus)

320 Downloads (Pure)
2014

Compositional Schedulability Analysis of An Avionics System Using UPPAAL
Boudjadar, J., Larsen, K. G., Kim, J. H. & Nyman, U., 2014, Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014. CEUR Workshop Proceedings, Vol. 1294. p. 140-147 8 p.
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Open Access
File

8 Citations (Scopus)

389 Downloads (Pure)
Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks
Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Nyman, U., Skou, A. & Mikučionis, M., 1 Sept 2014, Theoretical Aspects of Software Engineering Conference (TASE), 2014. IEEE Computer Society Press, p. 126-130 5 p. (TASE).
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Open Access
File
10 Citations (Scopus)

531 Downloads (Pure)
Expressing best practices in (risk) analysis and testing of safety-critical systems using patterns
Herzner, W., Sieverding, S., Kacimi, O., Böde, E., Bauer, T. & Nielsen, B., 2014, Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE, p. 299-304 6 p.
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

File

4 Citations (Scopus)

1282 Downloads (Pure)
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal
Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 13 Jun 2014, Proceedings of Formal Aspects of Component Software (FACS), 2013. Fiadeiro, J. L., Liu, Z. & Xue, J. (eds.). Springer Publishing Company, Vol. 8348. p. 61-78 18 p. 6. (Lecture Notes in Computer Science).
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Open Access
File
17 Citations (Scopus)

629 Downloads (Pure)
Model Checking Process Algebra of Communicating Resources for Real-time Systems
Boudjadar, J., Kim, J. H., Larsen, K. G. & Nyman, U., 2014, Proceedings of ECRTS 2014. IEEE Press, p. 51-60 (Euromicro Conference on Real-Time Systems. Proceedings).
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Open Access
File

468 Downloads (Pure)
Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems
Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Nyman, U. & Skou, A., 2014, Proceedings of ERTS2 2014. p. 1-4 4 p.
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

File

774 Downloads (Pure)
2013

Multi-Core Emptiness Checking of Timed Büchi Automata using Inclusion Abstraction
Laarman, A., Olesen, M. C., Dalsgaard, A., Larsen, K. G. & Pol, J. V. D., 2013, Proceedings of the 25th International Conference on Computer Aided Verification (CAV). Springer Publishing Company, Vol. 8044. p. 968-983 16 p. (Lecture Notes in Computer Science, Vol. 8044).
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Open Access
File

25 Citations (Scopus)

587 Downloads (Pure)
Remote Testing of Timed Specifications
David, A., Larsen, K. G., Mikucionis, M., Nguena-Timo, O. & Rollet, A., 13 Nov 2013, ICTSS: Testing Software and Systems - 25th IFIP WG 6.1 International Conference. Yenigün, H., Yilmaz, C. & Ulrich, A. (eds.). Istanbul, Turkey: Springer Publishing Company, Vol. 8254. p. 65-81 16 p. 5. (Lecture Notes in Computer Science (LNCS), Vol. 8254).
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
7 Citations (Scopus)

Model-based Analysis and Testing of Embedded Systems

Research output

Search results