multiPDEVS: A Parallel Multicomponent System Specification Formalism
نویسندگان
چکیده
منابع مشابه
A Multi-Formalism Approach For System Specification
This paper deals with embedded systems modelling, mixed hardware/software codesign, and more generally structured codesign methodology for avionics systems. This methodology is based on two main concepts: multi-formalism specifications and a unified system model. The multi-formalism concept allows to combine partial specifications expressed in various formalisms. As a matter of fact, an embedde...
متن کاملA Specification Formalism for Interacting Objects∗
We develop a logic for reasoning about requirement specification of objects with (internal and external) non-determinism. We try to achieve conceptual simplicity by avoiding the use of infinite sequences, restricting ourselves to finite traces, and by formulating a proof system satisfying the classical rules of first order logic. Under-specification is used to capture internal nondeterminism; e...
متن کاملA new cell space DEVS specification: Reviewing the parallel DEVS formalism seeking fast cell space simulations
This paper introduces a new specification for cellular DEVS models that assures high performance. It starts with the parallel DEVS specification and derives a high performance cellular DEVS layer using the property of closure under coupling. This is done through converting the parallel DEVS into its equivalent non-modular form which involves computational and communication overhead tradeoffs. T...
متن کاملParallel Simulation of Multicomponent Systems
Simulation of multicomponent systems poses many critical challenges in science and engineering. We overview some software and algorithmic issues in developing high-performance simulation tools for such systems, based on our experience in developing a large-scale, fullycoupled code for detailed simulation of solid propellant rockets. We brie y sketch some of our solutions to these issues, with f...
متن کاملA case study using lightweight formalism to review an information system specification
This paper 1 presents a case study review of an information system speciication based on concepts from the formal and structured integrated method, SAZ. Issues of structured and formal modelling are discussed. Some empirical nd-ings, from a small trial of the approach reviewing a pre-existing commercial speciication, are presented.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Complexity
سال: 2018
ISSN: 1076-2787,1099-0526
DOI: 10.1155/2018/3751917