Search: real-time system — Academic Articles

Home » Academic Articles & Research Papers

Showing 2 of 2 academic articles

An automated qualitative analysis of real-time systems using Timed Petri net and SPIN

Tanuja Shailesh, Ashalatha Nayak, Devi Prasad • Cogent Engineering (2024)

Verification of real-time system properties using formal models can improve system design and quality. The Timed Petri net is a formal model for modelling and designing real-time systems with time constraints. Furthermore, model checking is...

DOAJ Open Access (DOAJ) DOI: 10.1080/23311916.2024.2375100

View Article » Original Source ↗

Automated integration of real-time and non-real-time defense systems

Emre Dalkıran, Tolga Önel, Okan Topçu, Kadir Alpaslan Demir • Defence Technology (2021)

Various application domains require the integration of distributed real-time or near-real-time systems with non-real-time systems. Smart cities, smart homes, ambient intelligent systems, or network-centric defense systems are among these ap...

DOAJ Open Access (DOAJ) DOI: 10.1016/j.dt.2020.01.005

View Article » Original Source ↗