Creating a Language for Writing Real-Time Applications for the Internet of Things
Paper i proceeding, 2022
Embedded Domain-Specific Languages
Compilers
IoT
Real-time
Författare
Robert Krook
Chalmers, Data- och informationsteknik, Funktionell programmering
John Hui
Columbia University
Joel Svensson
Chalmers, Data- och informationsteknik, Funktionell programmering
Stephen A. Edwards
Columbia University
Koen Claessen
Chalmers, Data- och informationsteknik, Funktionell programmering
Publicerad i
2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022
9798350331905 (ISBN)
Konferens
Shanghai, China, 2022-10-12 - 2022-10-13
Forskningsprojekt
Octopi: Säker Programering för Sakernas Internet
Stiftelsen för Strategisk forskning (SSF) (RIT17-0023), 2018-03-01 -- 2023-02-28.
Systematisk testning av cyberfysiska system (SyTeC)
Vetenskapsrådet (VR) (2016-06204), 2017-01-01 -- 2022-12-31.
Kategorisering
Ämneskategorier (SSIF 2011)
Inbäddad systemteknik
Datavetenskap (datalogi)
Datorsystem
Identifikatorer
DOI
10.1109/MEMOCODE57689.2022.9954383