On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems
| Autor: | Kuan-Hsun Chen, Niklas Ueter, Georg von der Bruggen, Jian-Jia Chen, Wen-Hung Huang |
|---|---|
| Rok vydání: | 2021 |
| Předmět: |
Correctness
010201 computation theory & mathematics Computer science Formalism (philosophy) business.industry Embedded system 0202 electrical engineering electronic engineering information engineering Information processing 0102 computer and information sciences 02 engineering and technology business 01 natural sciences 020202 computer hardware & architecture |
| Zdroj: | A Journey of Embedded and Cyber-Physical Systems-Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday A Journey of Embedded and Cyber-Physical Systems ISBN: 9783030474867 A Journey of Embedded and Cyber-Physical Systems |
| DOI: | 10.1007/978-3-030-47487-4_4 |
| Popis: | Real-time embedded systems are information processing systems that require both functional and timing correctness. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|