Concepedia

Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL

Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky, Sharon Kim, Minseok Kang

International Journal on Software Tools for Technology Transfer · 2022 · 18 citations · 29 references

Concepts

EngineeringComputer ScienceSystems EngineeringCyber-physical SystemsFormal MethodsSystems ModelingCyber-physical Systems ArchitectureCyber-physical Systems DesignCyber-physical Systems ModelingIndustrial Cyber-physical SystemsModel ExecutionReal-time Systems DesignCyber-physical Architecture DesignCyber-physical Systems IntegrationFormal Methods For Cyber-physical SystemsReal-time Systems ModelingSynchronous Design

References

29

Conditional rewriting logic as a unified model of concurrency

José Meseguer · Theoretical Computer Science · 1992 · 1.3K citations

Computing, Computer Science, Computer Systems +9

A Survey of Statistical Model Checking

Gul Agha, Karl Palmskog · ACM Transactions on Modeling and Computer Simulation · 2018 · 289 citations

Computing, Computer Engineering, Computer Science +14

PMaude: Rewrite-based Specification Language for Probabilistic Object Systems

Gul Agha, José Meseguer, Koushik Sen · Electronic Notes in Theoretical Computer Science · 2006 · 158 citations · Full text

Computing, Computer Science, Computer Systems +17

Implementing Synchronous Models on Loosely Time Triggered Architectures

Stavros Tripakis, Claudio Pinello, Albert Benveniste et al. · IEEE Transactions on Computers · 2008 · 112 citations

Computing, Computer Science, Computer Systems +14

Digital networks in the automotive vehicle

Gabriel Leen, D. Heffernan · Computing & Control Engineering Journal · 1999 · 103 citations

Engineering, Automotive Engineering, Computer Science +17