Publication | Closed Access
DEVS formalism: a framework for hierarchical model development
153
Citations
18
References
1988
Year
EngineeringComputer ArchitectureSoftware EngineeringSimulationSystem-level DesignHierarchical Model SpecificationSimulator ArchitecturesSoftware AnalysisFormal VerificationSystems EngineeringModel-based Software DevelopmentModeling And SimulationSystem SimulationSimulation LanguageDevs FormalismModel RepresentationDiscrete Event SimulationDesignComputer EngineeringSoftware SimulationDistributed SystemsDistributed SimulationSoftware DesignModel FrameworkFormal MethodsSimulation InfrastructureSystem Specification
A methodology is being developed to map hierarchical, modular discrete event models onto distributed simulator architectures. Concept developed for the first step of the methodology concerning model representation are discussed. The DEVS (Discrete Event System Specification) is extended to facilitate modular, hierarchical model specification. Procedures for top-down model development are expressed with the extended formalism and illustrated with a computer system model design.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
| Year | Citations | |
|---|---|---|
Page 1
Page 1