Compositional Schedulability Analysis of An Avionics System Using UPPAAL

Jalil Boudjadar; Kim Guldstrand Larsen; Jin Hyun Kim; Ulrik Nyman

Compositional Schedulability Analysis of An Avionics System Using UPPAAL

Jalil Boudjadar, Kim Guldstrand Larsen, Jin Hyun Kim, Ulrik Nyman

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

8 Citations (Scopus)

386 Downloads (Pure)

Original language	English
Title of host publication	Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014
Number of pages	8
Volume	1294
Publisher	CEUR Workshop Proceedings
Publication date	2014
Pages	140-147
Publication status	Published - 2014
Event	International Conference on Advanced Aspects of Software Engineering - Constantine 2 University, Constantine, Algeria Duration: 2 Nov 2014 → 4 Nov 2014

Conference

Conference	International Conference on Advanced Aspects of Software Engineering
Location	Constantine 2 University
Country/Territory	Algeria
City	Constantine
Period	02/11/2014 → 04/11/2014

Access to Document

ownICAASE2014Accepted author manuscript, 857 KB

http://ceur-ws.org/Vol-1294/paper16.pdf

AUB Link

Search for the material in Aalborg University Library's search engine

CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems
Skou, A., Larsen, K. G., Nielsen, B., David, A., Nyman, U., Mikucionis, M., Olsen, P., Boudjadar, J. & Kim, J. H.
Artemis JU
01/06/2012 → 30/09/2015
Project: Research
MBAT: Model-based Analysis and Testing of Embedded Systems
Nielsen, B., Larsen, K. G., David, A., Mikucionis, M. & Skou, A.
Artemis JU
01/11/2011 → 31/10/2014
Project: Research

Cite this

Boudjadar, J., Larsen, K. G., Kim, J. H., & Nyman, U. (2014). Compositional Schedulability Analysis of An Avionics System Using UPPAAL. In Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014 (Vol. 1294, pp. 140-147). CEUR Workshop Proceedings. http://ceur-ws.org/Vol-1294/paper16.pdf

@inproceedings{748cd13d5a034afbaa5a3f13998c25f0,

title = "Compositional Schedulability Analysis of An Avionics System Using UPPAAL",

author = "Jalil Boudjadar and Larsen, {Kim Guldstrand} and Kim, {Jin Hyun} and Ulrik Nyman",

year = "2014",

language = "English",

volume = "1294",

pages = "140--147",

booktitle = "Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014",

publisher = "CEUR Workshop Proceedings",

note = "International Conference on Advanced Aspects of Software Engineering, ICAASE'14 ; Conference date: 02-11-2014 Through 04-11-2014",

}

Boudjadar, J, Larsen, KG, Kim, JH & Nyman, U 2014, Compositional Schedulability Analysis of An Avionics System Using UPPAAL. in Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014. vol. 1294, CEUR Workshop Proceedings, pp. 140-147, International Conference on Advanced Aspects of Software Engineering, Constantine, Algeria, 02/11/2014. <http://ceur-ws.org/Vol-1294/paper16.pdf>

Compositional Schedulability Analysis of An Avionics System Using UPPAAL. / Boudjadar, Jalil; Larsen, Kim Guldstrand; Kim, Jin Hyun et al.
Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014. Vol. 1294 CEUR Workshop Proceedings, 2014. p. 140-147.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Compositional Schedulability Analysis of An Avionics System Using UPPAAL

AU - Boudjadar, Jalil

AU - Larsen, Kim Guldstrand

AU - Kim, Jin Hyun

AU - Nyman, Ulrik

PY - 2014

Y1 - 2014

M3 - Article in proceeding

VL - 1294

SP - 140

EP - 147

BT - Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014

PB - CEUR Workshop Proceedings

T2 - International Conference on Advanced Aspects of Software Engineering

Y2 - 2 November 2014 through 4 November 2014

ER -

Compositional Schedulability Analysis of An Avionics System Using UPPAAL

Conference

Access to Document

AUB Link

Projects

CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems

MBAT: Model-based Analysis and Testing of Embedded Systems

Cite this