Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Ji, Zekun"'
We introduce Mars 2.0 for modeling, analysis, verification and code generation of Cyber-Physical Systems. Mars 2.0 integrates Mars 1.0 with several important extensions and improvements, allowing the design of cyber-physical systems using the combina
Externí odkaz:
http://arxiv.org/abs/2403.03035
Hybrid Communicating Sequential Processes (HCSP) is a formal model for hybrid systems, including primitives for evolution along an ordinary differential equation (ODE), communication, and parallel composition. Code generation is needed to convert HCS
Externí odkaz:
http://arxiv.org/abs/2402.15674
Message passing is a fundamental element in software development, ranging from concurrent and mobile computing to distributed services, but it suffers from communication errors such as deadlocks. Session types are a typing discipline for enforcing sa
Externí odkaz:
http://arxiv.org/abs/2310.12187