References

Electronic References

Below are a set of URLs that are referred to in some of the papers.

J. E. Tolsma, J. Clabaugh, and P. I. Barton: ABACUSS II: Advanced modeling environment and embedded simulator, 1999
J. E. Tolsma and P. I. Barton: DAEPACK: A Symbolic and Numeric Library for Open Modeling
ACME - Carnegie Mellon University: Aesop Software Architecture Design Environment Generator
DOME (Domain Modeling Environment) - Honeywell Intl.: DOME
MetaGME (Meta-Graphical Model Editor) - Vanderbilt University Institute for Software Integrated Systems (ISIS): GME

Meta Model documentation: CDIF (CASE Data Interchange Format); HTML-renderings of all of the EIA/CDIF metamodels
Common Criteria for Information Technology Security Evaluation: Eugene F. Troy, "Common Criteria: Launching the International Standard", NIST-ITL, November, 1998; Common Criteria Version 2.1/ISO IS 15408, August, 1999
Hybrid Dynamic Systems: IEEE Control Systems Society Technical Committee on Hybrid Dynamical Systems; IEEE Control Systems Society Technical Committee on Computer-Aided Control Systems Design Virtual Action Group on Hybrid Dynamic Systems
MetaData coalition: MetaData
Modelica A Unified Object-Oriented Language for Physical Systems Modeling: Language Specification
Object Management Group (OMG) Unified Modeling: Language Specification
VHDL: IEEE 1076.1 Working Group IEEE Standard 1076.1-1999 (VHDL); VHDL-AMS; System Level Design Language (SLDL)
Verilog Hardware Description Language: Cadence

Aviatis: Zero-Latency Engineering
MetaEdit+ - MetaCase Consulting: MetaCase
MIL3 - Third Millennium Technologies, OPNET - Decision Support Software for Networks and Applications: decision support
Prover Technology, NP-Tools v. 2.3 User's Guide, Stockholm, Sweden: contact
ToolBuilder - PeerLogic: ToolBuilder
VisualWorks Smalltalk - Cincom Systems: Cincom
PolySpace Technologies: Automatic Detection of Run-Time Errors at Compile Time
The MathWorks, Inc.: Accelerating the pace of engineering and science
ETAS: An automotive industry partner
I-Logix: Model-driven development for systems and software
Artisan: Real-Time Solutions for Systems and Software Development
dSpace: Solutions for control
Telelogic: Requirements-Driven Innovation

Xerox PARC Spatial Aggregation Language (SAL) web page: SAL
Paul K. Davis, Aggregation, Disaggregation, and the 3:1 Rule in Ground Combat, RAND Report MR-638-AF/A/OSD: MR-638
E. Douglas Jensen, Real-Time for the Real World: real-time
MetaGME (Meta-Graphical Model Editor) - Vanderbilt University Institute for Software Integrated Systems (ISIS): Generic Modeling Environment documents; Model-Integrated Computing documents
Metamodeling in OO (OOPSLA'95 Workshop), October 15, 1995: Larc
43rd Annual Meeting of the International Society for Systems Sciences at the Asilomar Conference Center, Pacific Grove, California, June 26 to July 2, 1999: Special Integration Group - Modeling and Metamodeling
G. Berry, The Constructive Semantics of Pure Esterel, Technical Report, Centre de Mathematiques Appliquees, 1999: draft book available
G. Berry and E. M. Sentovich, An Implementation of Constructive Synchronous Programs in POLIS, November 1998: draft report, not available; draft report
S. Turodet, Signal-Simulink: Hybrid system Co-simulation, technical report, Dept. of Computer and Information Science, Linköping University, February, 2000: available
IABG: Design-V Information
Leroy's Engineering Web-Site: Automotive Busses