Model-based Analysis and Testing of Embedded Systems

Publikation

Publikationer pr. år 2013 2014 2015 2015

• 12 Konferenceartikel i proceeding
• 3 Tidsskriftartikel
• 1 Paper uden forlag/tidsskrift
• 1 Working paper

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 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 (Institute of Electrical and Electronics Engineers), s. 74-83 (International Symposium on Object-Oriented Real-Time Distributed Computing).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Fil
  2 Citationer (Scopus)

  709 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 maj 2015, CBSE'15, Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering. Association for Computing Machinery (ACM), s. 91-100

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Fil
  8 Citationer (Scopus)

  586 Downloads (Pure)

• Schedulability of Herschel revisited using statistical model checking

  David, A., Larsen, K. G., Legay, A. & Mikučionis, M., 2015, I: International Journal on Software Tools for Technology Transfer. 17, 2, s. 187-199 13 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Model Checking 100%
  • Statistical Model 100%
  • Schedulability Analysis 42%
  • Response Time 28%
  • Checking Technique 28%
  11 Citationer (Scopus)

• Uppaal SMC tutorial

  David, A., Larsen, K. G., Legay, A., Mikučionis, M. & Poulsen, D. B., 6 jan. 2015, I: International Journal on Software Tools for Technology Transfer. 17, 4, s. 397-415 19 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

  • UPPAAL-SMC 100%
  • Model Checking 100%
  • Case Study 100%
  • Stochastics 100%
  • Timing System 50%
  422 Citationer (Scopus)

  2437 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. (red.). London, UK: Springer, s. 206-211 6 s. (Lecture Notes in Computer Science; Nr. 9035).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Stratego 100%
  • Usage Scenario 100%
  • Model Checking 100%
  • Query Language 100%
  • Stochastics 100%
  130 Citationer (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. (red.). Springer, s. 209-227 18 s. (Lecture Notes in Computer Science; Nr. 8997).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  • Hierarchical Scheduling Systems 100%
  • Model Checking 100%
  • Scheduling Model 50%
  • Detailed Scheduling 50%
  • Methods Statistical 50%
  11 Citationer (Scopus)

  359 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, Bind 1294. s. 140-147 8 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil
  9 Citationer (Scopus)

  424 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 sep. 2014, Theoretical Aspects of Software Engineering Conference (TASE), 2014. IEEE Computer Society Press, s. 126-130 5 s. (TASE).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  • Sporadic Tasks 100%
  • Mixed-criticality Real-time Systems 100%
  • Criticality 100%
  • Task Arrival 33%
  • Mixed-criticality Scheduling 33%
  10 Citationer (Scopus)

  568 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 (Institute of Electrical and Electronics Engineers), s. 299-304 6 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Fil
  4 Citationer (Scopus)

  1324 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. (red.). Springer Publishing Company, Bind 8348. s. 61-78 18 s. 6. (Lecture Notes in Computer Science).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  • Scheduling Policy 100%
  • Hierarchical Scheduling 100%
  • Avionics System 50%
  • Task Behavior 50%
  • Compositional Scheduling 50%
  18 Citationer (Scopus)

  674 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, s. 51-60 (Euromicro Conference on Real-Time Systems. Proceedings).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil
  512 Downloads (Pure)

• Model checking process algebra of communicating resources for real-time systems

  Boudjadar, J., Kim, J. H., Larsen, K. G. & Nyman, U., 2014, 10 s.

  Publikation: Working paper/Preprint › Working paper › Forskning

  Åben adgang

  Fil
  395 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. s. 1-4 4 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Fil
  928 Downloads (Pure)

• Statistical Model Checking for Biological Systems

  David, A., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 1 jul. 2014, I: International Journal on Software Tools for Technology Transfer. 17, 3, s. 351-367 17 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • Model Checking 100%
  • Statistical Model 100%
  • Biological System 100%
  • SimBiology 50%
  • Cytoscape 25%
  39 Citationer (Scopus)

• Towards a Method for Combined Model-based Testing and Analysis

  Nielsen, B., 9 jan. 2014. 10 s.

  Publikation: Konferencebidrag uden forlag/tidsskrift › Paper uden forlag/tidsskrift › Forskning › peer review

  Fil
  680 Downloads (Pure)
• 2013

  Multi-Core Emptiness Checking of Timed Büchi Automata using Inclusion Abstraction

  Bidragets oversatte titel: Multi-Core Emptiness Checking of Timed Büchi Automata using Inclusion AbstractionLaarman, 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, Bind 8044. s. 968-983 16 s. (Lecture Notes in Computer Science, Bind 8044).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil
  25 Citationer (Scopus)

  629 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. (red.). Istanbul, Turkey: Springer Publishing Company, Bind 8254. s. 65-81 16 s. 5. (Lecture Notes in Computer Science (LNCS), Bind 8254).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Communication Latency 100%
  • Test Setup 100%
  • Observability 100%
  • Controller Synthesis 100%
  • Testability 100%
  8 Citationer (Scopus)