Integrated Environment for Control Software Engineering

Abstract

Significant scientific progress has been made during the final year of the grant. We have continued the development of PIOAL, the process-algebraic specification language for Probabilistic I/O Automata that forms the basis for our tool integration effort. We have also developed a Monte Carlo model checking algorithm a Hybrid-automaton model of cardiac; and a safety-liveness semantics for UML 2.0 Sequence Diagrams. We have moreover pursued the development of mathematical formalisms for the combined modeling of functional and performance aspects of systems, and for software architecture specification.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 05, 2005
Accession Number
ADA432985

Entities

People

  • Eugene Stark
  • Rance Cleaveland
  • Scott A. Smolka

Organizations

  • Stony Brook University

Tags

Communities of Interest

  • Biomedical
  • Human Systems

DTIC Thesaurus Topics

  • Algorithms
  • Automata
  • Computational Biology
  • Computational Science
  • Computer Programming
  • Computer Science
  • Computers
  • Debugging
  • Kernels (Operating System)
  • Language
  • Operating Systems
  • Procedural Programming
  • Procedural Programming Language
  • Programming Languages
  • Software Development
  • Standards
  • Technology Transfer

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Modeling and Simulation
  • Mathematical Modeling and Probability Theory.
  • Software Engineering.