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

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

8 Citationer (Scopus)

384 Downloads (Pure)

Originalsprog	Engelsk
Titel	Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014
Antal sider	8
Vol/bind	1294
Forlag	CEUR Workshop Proceedings
Publikationsdato	2014
Sider	140-147
Status	Udgivet - 2014
Begivenhed	International Conference on Advanced Aspects of Software Engineering - Constantine 2 University, Constantine, Algeriet Varighed: 2 nov. 2014 → 4 nov. 2014

Konference

Konference	International Conference on Advanced Aspects of Software Engineering
Lokation	Constantine 2 University
Land/Område	Algeriet
By	Constantine
Periode	02/11/2014 → 04/11/2014

Adgang til dokumentet

ownICAASE2014Accepteret manuskript, 857 KB

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

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

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
Projekter: Projekt › Forskning
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
Projekter: Projekt › Forskning

Citationsformater

Boudjadar, J., Larsen, K. G., Kim, J. H., & Nyman, U. (2014). Compositional Schedulability Analysis of An Avionics System Using UPPAAL. I Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014 (Bind 1294, s. 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. i Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014. bind 1294, CEUR Workshop Proceedings, s. 140-147, International Conference on Advanced Aspects of Software Engineering, Constantine, Algeriet, 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. Bind 1294 CEUR Workshop Proceedings, 2014. s. 140-147.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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

Konference

Adgang til dokumentet

AUB Link

Projekter

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

MBAT: Model-based Analysis and Testing of Embedded Systems

Citationsformater