Special track on Worst Case Traversal Time (WCTT)

Anne Bouillard; Marc Boyer; Samarjit Chakraborty; Steven Martin; Jean Luc Scharbarg; Giovanni Stea; Eric Thierry

doi:10.1007/978-3-642-16558-0_12

Special track on Worst Case Traversal Time (WCTT)

Anne Bouillard, Marc Boyer, Samarjit Chakraborty, Steven Martin, Jean Luc Scharbarg, Giovanni Stea, Eric Thierry

Chair of Real-Time Computer Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Real-time systems are increasingly becoming communication intensive, where different functions are implemented using distributed real-time tasks mapped onto different physical systems (sensors, processors, and actuators). To ensure global correctness, one has to ensure the correctness of each task, schedulability of the tasks on each system, and finally also bound the communication time, i.e., the worst case (network) traversal time (WCTT).

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings
Pages	121
Number of pages	1
Edition	PART 1
DOIs	https://doi.org/10.1007/978-3-642-16558-0_12
State	Published - 2010
Event	4th International Symposium on Leveraging Applications, ISoLA 2010 - Heraklion, Crete, Greece Duration: 18 Oct 2010 → 21 Oct 2010

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Number	PART 1
Volume	6415 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	4th International Symposium on Leveraging Applications, ISoLA 2010
Country/Territory	Greece
City	Heraklion, Crete
Period	18/10/10 → 21/10/10

Access to Document

10.1007/978-3-642-16558-0_12

Cite this

Bouillard, A., Boyer, M., Chakraborty, S., Martin, S., Scharbarg, J. L., Stea, G., & Thierry, E. (2010). Special track on Worst Case Traversal Time (WCTT). In Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings (PART 1 ed., pp. 121). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6415 LNCS, No. PART 1). https://doi.org/10.1007/978-3-642-16558-0_12

Bouillard, Anne ; Boyer, Marc ; Chakraborty, Samarjit et al. / Special track on Worst Case Traversal Time (WCTT). Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings. PART 1. ed. 2010. pp. 121 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 1).

@inproceedings{6cb465c919754b0fab61067aeb1402c7,

title = "Special track on Worst Case Traversal Time (WCTT)",

abstract = "Real-time systems are increasingly becoming communication intensive, where different functions are implemented using distributed real-time tasks mapped onto different physical systems (sensors, processors, and actuators). To ensure global correctness, one has to ensure the correctness of each task, schedulability of the tasks on each system, and finally also bound the communication time, i.e., the worst case (network) traversal time (WCTT).",

author = "Anne Bouillard and Marc Boyer and Samarjit Chakraborty and Steven Martin and Scharbarg, \{Jean Luc\} and Giovanni Stea and Eric Thierry",

year = "2010",

doi = "10.1007/978-3-642-16558-0\_12",

language = "English",

isbn = "3642165575",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

number = "PART 1",

pages = "121",

booktitle = "Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings",

edition = "PART 1",

note = "4th International Symposium on Leveraging Applications, ISoLA 2010 ; Conference date: 18-10-2010 Through 21-10-2010",

}

Bouillard, A, Boyer, M, Chakraborty, S, Martin, S, Scharbarg, JL, Stea, G & Thierry, E 2010, Special track on Worst Case Traversal Time (WCTT). in Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings. PART 1 edn, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), no. PART 1, vol. 6415 LNCS, pp. 121, 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, 18/10/10. https://doi.org/10.1007/978-3-642-16558-0_12

Special track on Worst Case Traversal Time (WCTT). / Bouillard, Anne; Boyer, Marc; Chakraborty, Samarjit et al.
Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings. PART 1. ed. 2010. p. 121 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6415 LNCS, No. PART 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Special track on Worst Case Traversal Time (WCTT)

AU - Bouillard, Anne

AU - Boyer, Marc

AU - Chakraborty, Samarjit

AU - Martin, Steven

AU - Scharbarg, Jean Luc

AU - Stea, Giovanni

AU - Thierry, Eric

PY - 2010

Y1 - 2010

N2 - Real-time systems are increasingly becoming communication intensive, where different functions are implemented using distributed real-time tasks mapped onto different physical systems (sensors, processors, and actuators). To ensure global correctness, one has to ensure the correctness of each task, schedulability of the tasks on each system, and finally also bound the communication time, i.e., the worst case (network) traversal time (WCTT).

AB - Real-time systems are increasingly becoming communication intensive, where different functions are implemented using distributed real-time tasks mapped onto different physical systems (sensors, processors, and actuators). To ensure global correctness, one has to ensure the correctness of each task, schedulability of the tasks on each system, and finally also bound the communication time, i.e., the worst case (network) traversal time (WCTT).

UR - http://www.scopus.com/inward/record.url?scp=78650269256&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-16558-0_12

DO - 10.1007/978-3-642-16558-0_12

M3 - Conference contribution

AN - SCOPUS:78650269256

SN - 3642165575

SN - 9783642165573

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 121

BT - Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings

T2 - 4th International Symposium on Leveraging Applications, ISoLA 2010

Y2 - 18 October 2010 through 21 October 2010

ER -

Bouillard A, Boyer M, Chakraborty S, Martin S, Scharbarg JL, Stea G et al. Special track on Worst Case Traversal Time (WCTT). In Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Proceedings. PART 1 ed. 2010. p. 121. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 1). doi: 10.1007/978-3-642-16558-0_12

Special track on Worst Case Traversal Time (WCTT)

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this