All About Time
2025 (English) In: Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career / [ed] Susanne Graf, Paul Pettersson, Bernhard Steffen, Cham: Springer, 2025, p. 1-7Chapter in book (Other academic)
Abstract [en]
Timing is a central concern in critical embedded systems. Such systems must interact with a physical environment in a timely fashion. The critical point here is not average performance but guaranteed performance which must be good enough for the given environment. In this introduction to the Festschrift dedicated to Wang Yi on the occasion of his 60th birthday, we give an overview on the contributions ofWang Yi to the analysis and the construction of real-time systems and to the related contributions to this volume.
Place, publisher, year, edition, pages Cham: Springer, 2025. p. 1-7
Series
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 15230
Keywords [en]
Timed CCS, Timed Automata, UPPAAL, Task Automata, Timed, Systems, Real-time Systems, Embedded Systems, Cyber-physical Systems, Model-checking, Real-time Scheduling, Real-time System Design
National Category
Computer Engineering Control Engineering Computer Systems
Identifiers URN: urn:nbn:se:uu:diva-557672 DOI: 10.1007/978-3-031-73751-0_1 ISI: 001400370700002 Scopus ID: 2-s2.0-85208018875 ISBN: 978-3-031-73750-3 (print) ISBN: 978-3-031-73751-0 (electronic) OAI: oai:DiVA.org:uu-557672 DiVA, id: diva2:1963101
2025-06-022025-06-022025-06-02 Bibliographically approved