SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software.

Boxiang Wang Rui Chen Chao Li Tingting Yu Dongdong Gao Mengfei Yang

Published in: ISSTA (2022)

Keyphrases

data sharing
embedded software
embedded systems
data access
data integration
software architecture
development projects
peer to peer
information sharing
sequence diagrams
data sources
security administration
real time
data warehouse
user interface
metadata
data mining
databases