References

Electronic References

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

Tools

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

Organizations

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

OSEK/VDXOpen systems and the corresponding interfaces for automotive electronics

Companies

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

Projects

Berkeley Software Enabled Control (SEC) web page
SEC
DARPA Autonomous Information Assurance Program web page
IA&S
Georgia Tech Software Enabled Control (SEC) web page
SEC
The SYRF Project
Deliverables for Work Packages 1 through 7, 1997- 1999

Literature

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