Ensembles are groups of active entities that collaborate to perform a certain task. Modeling
software systems for ensemble execution is challenging since such applications are highly …

Cyber–physical space systems are engineered systems operating within physical space
with design requirements that depend on space, eg, regarding location or movement …

This paper deals with the design and applications of digital differentiators. For real time
applications it is mandatory that a differentiator should have as small an order as possible …

Mobile computing systems have generated many concerns. Numerous studies have been
performed to model and analyze these systems. This paper focuses on the existing …

Compatibility of components is an important issue in the quest for systems of systems that
guarantee successful communications, free from message loss and indefinite waiting for …

We provide a new look at formal aspects of component substitutability (replacement of a
component with a new one) and independent implementability (reuse of a component in any …

模型检验以其自动化程度和完备性高, 与构件技术互补性强等特点, 在软件构件可信性质的分析
和验证中发挥着日益重要的作用. 将基于模型检验的构件验证方法分为基于系统规约模型的验证 …

For the systematic development of logical, message-driven architectures, automating
parallel decomposition of software components is important to achieve efficient modular and …

We study guarantees for safe communication in systems of systems composed of reactive
components that communicate through synchronised execution of common actions. Systems …

Abstract As the Internet of Things technology is finding more wide applications; wearable
smart systems such as smart phones have gradually come into our lives. The smart …