TL;DR: The basis for a domain-neutral standard model for parallel DEVS formalism is described, and an XML Schema model representing structures of parallelDEVS models is developed.
Abstract: Standardization is important in bringing order and rigor to model development. Our attempt in this article is to articulate basics on model standardization from an endogenous perspective. The basis for a domain-neutral standard model for parallel DEVS formalism is described. An XML Schema model representing structures of parallel DEVS models is developed. Standardizing domain-specific application models using the proposed standard DEVS model is exemplified using MIPS32 processors.
TL;DR: In this article, the authors propose a translation process by which a UML2.0 Class Diagram model, along with Statechart models used to describe the behaviour of each of the instances of the classes in the class Diagram, is transformed into a single, behaviourally equivalent DEVS model.
Abstract: We propose a translation process by which a UML2.0 Class Diagram model, along with Statechart models used to describe the behaviour of each of the instances of the classes in the Class Diagram, is transformed into a single, behaviourally equivalent Atomic DEVS model. Statecharts language features such as hierarchical and orthogonal states allow for intuitive modelling of reactive, timed behaviour. Variable structure and modularity are the prominent features of UML2.0 Class Diagrams. DEVS is a highly modular, hierarchical formalism that can be used as a semantic domain for a variety of modelling languages.
We validate our approach using a concrete example. We transform the UML2.0 Class Diagram + Statechart model of a digital watch to its Atomic DEVS equivalent and subsequently couple it with a model of a user (the "environment") modelled as an Atomic DEVS.
TL;DR: This paper evaluates the appropriateness of DEVS, the Discrete-Event system Specification, for modelling and subsequent performance evaluation of AUTOSAR-based systems and demonstrates and validate the work by means of a power window and ABS case study.
Abstract: AUTOSAR (AUTomotive Open System ARchitecture) is an open and standardized automotive software architecture, developed by automobile manufacturers, suppliers and tool developers. Its design is a direct consequence of the increasingly important role software plays in vehicles. As design choices during the software deployment phase may have a large impact on the real-time properties of the system, designers need a method to explore various trade-offs. In this paper we evaluate the appropriateness of DEVS, the Discrete-Event system Specification, for modelling and subsequent performance evaluation of AUTOSAR-based systems. We demonstrate and validate our work by means of a power window and ABS case study.
TL;DR: A set of simulation models are developed based on NoC first principles and the DEVS modeling formalism that constitute the NoC-DEVS simulator, a domain-specific DEVS-Suite simulator.
Abstract: Study of Network-on-Chip (NoC) systems requires simulators capable of handling their unique characteristics. Toward this objective, a set of simulation models are developed based on NoC first principles and the DEVS modeling formalism. The models constitute the NoC-DEVS simulator, a domain-specific DEVS-Suite simulator. A representative prototypical NoC mesh-based system is modeled using processing elements, network interfaces, switches, and links. The same NoC example system is also modeled in Noxim simulator which is developed using SystemC. The NoC-DEVS simulator is evaluated against the Noxim simulator in terms of delay and throughput performance metrics. Some basic capabilities of these two simulators are briefly compared. A sketch of future research directions is also provided.