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

No abstract is available for this paper.

• Publication year

  1998

• Venue

  Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)

• Publication date

  1998-11-13

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/HASE.1998.731627
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Weak Bisimulation for Probabilistic Systems

  2000cited by this paper
• Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools

  1999cited by this paper
• Formally specified monitoring of temporal properties

  1999cited by this paper
• Runtime Assurance Based On Formal Specifications

  1999cited by this paper
• Specification and analysis of real-time systems with PARAGON

  1999cited by this paper
• Incremental modeling and verification of flexible manufacturing systems

  1999cited by this paper
• Steering of real-time systems based on monitoring and checking

  1999cited by this paper
• Verification of the redundancy management system for space launch vehicle: a case study

  1998cited by this paper
• Praobabilistic Resource Failure in Real-Time Process Algebra

  1998cited by this paper
• Component-level reduction rules for time Petri nets with application in C2 systems

  1998cited by this paper
• Retrospective exploration of safety properties in real-time concurrent systems

  1997cited by this paper
• Specification and verification of real-time systems using ACSR-VP

  1997cited by this paper
• PARAGON: a paradigm for the specification, verification and testing of real-time systems

  1997cited by this paper
• A graphical property specification language

  1997cited by this paper
• XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems

  1996cited by this paper
• The Concurrency Factory Software Development Environment

  1996cited by this paper
• The Concurrency Factory: A Development Environment for Concurrent Systems

  1996cited by this paper
• Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets

  1995cited by this paper
• Local Model Checking for Real-Time Systems (Extended Abstract)

  1995cited by this paper
• From Coloured Petri Nets to Object Petri Nets

  1995cited by this paper
• Validation and verification of decision making rules

  1995cited by this paper
• On the parallel complexity of model checking in the modal mu-calculus

  1994cited by this paper
• Incremental Model Checking in the Modal Mu-Calculus

  1994cited by this paper
• Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models

  1994cited by this paper
• Task decomposition and allocation problems and discrete event systems

  1994cited by this paper
• OPNets: An object-oriented high-level Petri net model for real-time system modeling

  1993cited by this paper
• Naval Modeling and Simulation Verification, Validation, and Accreditation

  1993cited by this paper
• Cooperative objects: a concurrent, Petri-net based, object-oriented language

  1993cited by this paper
• Modeling and Verification of Time Dependent Systems Using Time Petri Nets

  1991influential reference
• Petri nets: Properties, analysis and applications

  1989cited by this paper
• STATEMATE: a working environment for the development of complex reactive systems

  1988cited by this paper
• Temporal Logic of Programs

  1987cited by this paper
• Command and control (C2) theory: A challenge to control science

  1986influential reference
• Supporting Model-Based Validation at Run-Time

  year unknowncited by this paper

• PSTMonitor: Monitor synthesis from probabilistic session types

  2022cites this paper
• Predictive Runtime Verification of Stochastic Systems

  2019cites this paper
• Fairness-Aware Programming

  2019cites this paper
• An industrial view on the common academic understanding of mixed-criticality systems

  2018cites this paper
• Developing and evolving a DSL-based approach for runtime monitoring of systems of systems

  2018cites this paper
• IgS-wBSRM: A time-aware Web Service QoS monitoring approach in dynamic environments

  2017cites this paper
• Reconfigurable autonomy for future planetary rovers

  2017cites this paper
• Runtime verification of LTL on lossy traces

  2017cites this paper
• An Approach for Detecting Malicious Emails Using Runtime Monitoring with Hidden Data

  2016cites this paper
• REVERT: Runtime Verification for Real-Time Systems

  2016cites this paper
• Modular Design of Monitors for Cyber-Physical Systems from Formal Specifications

  2015cites this paper
• Early detection of evolving system failures and temporal conflicts using parameterized formal specifications and bounded constraint-solving

  2015cites this paper
• RitHM: A Modular Software Framework for Runtime Monitoring Supporting Complete and Lossy Traces

  2015cites this paper
• Runtime verification of microcontroller binary code

  2014cites this paper
• Model based validation for improving availability of Internet services

  2014cites this paper
• Behavioral and Temporal Rule Checking for Gaussian Random Process - a Kalman Filter Example

  2013cites this paper
• Analysing Time-Related Properties of Service-Oriented Systems

  2012cites this paper
• Monitorability of Stochastic Dynamical Systems

  2011cites this paper
• Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State

  2011cites this paper
• Model-based software health management for real-time systems

  2011cites this paper
• Being SMART About Failures : Assessing Repairs in Activity Detection

  2011cites this paper
• Copilot : Monitoring Embedded Systems Final Report ∗

  2011cites this paper
• Runtime repair of software faults using event-driven monitoring

  2010cites this paper
• Online stability validation using sector analysis

  2010influential citation
• Monitoring the Full Range of omega-Regular Properties of Stochastic Systems

  2008cites this paper
• Monitoring Temporal Properties of Stochastic Systems

  2008cites this paper
• Design of Train Control Software Safety Evaluation Tool

  2008cites this paper
• Statistical Runtime Checking of Probabilistic Properties

  2007influential citation
• Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior

  2007cites this paper
• Runtime Verification for Wireless Sensor Network Applications

  2007cites this paper
• Runtime monitoring of duration calculus assertions for real-time applications

  2006cites this paper
• A: an assertion language for distributed systems

  2006cites this paper
• Integrated Verification for Robust Computing

  2006cites this paper
• An Approach for Modeling and Analysis of Security System Architectures

  2003cites this paper
• Formal analysis of software security system architectures

  2001cites this paper
• Design and Implementation of Distributed Time Petri-Nets ( TPNs ) Simulator in the RAS / Tools Framework

  2001cites this paper