Using Formal Methods to Specify Data-Driven Cyber-Physical Systems.
José Luis Conradi HoffmannLeonardo Passig HorstmannMatheus WagnerFelipe VieiraMateus Martínez De LucenaAntônio Augusto FröhlichPublished in: ISIE (2022)
Keyphrases
- formal methods
- data driven
- cyber physical systems
- cyber physical
- cyber security
- physical world
- formal specification
- embedded systems
- artificial intelligence
- model checking
- knowledge based systems
- critical infrastructure
- software engineering
- social networks
- real time
- knowledge base
- development lifecycle
- intrusion detection
- low cost
- database systems