Integrated architectural modeling and analysis for high-assurance command and control system design

Authors:
Yi Deng;Jiacun Wang
Affiliations:
School of Computer Science, Florida International University, Miami, FL 33199, USA E-mail: {deng, wangji}@ cs.fiu.edu;School of Computer Science, Florida International University, Miami, FL 33199, USA E-mail: {deng, wangji}@ cs.fiu.edu
Venue:
Annals of Software Engineering
Year:
1999

Citing 11
Cited 1

STATEMATE: A Working Environment for the Development of Complex Reactive Systems

IEEE Transactions on Software Engineering
Introduction to algorithms

Introduction to algorithms
Modeling and Verification of Time Dependent Systems Using Time Petri Nets

IEEE Transactions on Software Engineering
Quantitative temporal reasoning

Real-Time Systems
OPNets: an object-oriented high-level Petri net model for real-time system modeling

Journal of Systems and Software - Special issue on object-orientation
Task decomposition and allocation problems and discrete event systems

Automatica (Journal of IFAC)
Validation and verification of decision making rules

Automatica (Journal of IFAC)
Naval modeling and simulation verification, validation, and accreditation

WSC '93 Proceedings of the 25th conference on Winter simulation
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models

IEEE Transactions on Software Engineering
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets

IEEE Transactions on Software Engineering
From Coloured Petri Nets to Object Petri Nets

Proceedings of the 16th International Conference on Application and Theory of Petri Nets

An Approach for Modeling and Analysis of Security System Architectures

IEEE Transactions on Knowledge and Data Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We give a formal framework for studying real‐time discrete‐event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes with behaviors in the intersection of the behaviors ...