|
|
|
CRESCO (Preliminary Website)
A
tool for Construction
of Evidence REpositories
for Managing Standards
COmpliance
Overview
CRESCO, is a tool for
the construction of evidence repositories for managing compliance to industry
relevant standards. CRESCO draws on Model Driven Engineering (MDE) technologies
to generate a database repository schema from the evidence requirements of a
given standard, expressed as a UML class diagram. CRESCO in addition generates
a web-based user interface for building and manipulating evidence repositories
based on the schema. CRESCO is targeted primarily at addressing the tool
infrastructure needs for supporting the collection and management of safety
evidence data. A systematic treatment of evidence information is a key
prerequisite for demonstration of compliance to safety standards, such as IEC
61508, during the safety certification process.
Download and System Requirements
CRESCO is implemented in
Eclipse for Java Enterprise Edition. We use two plugins: Kermeta, for the
model-to-model transformations and MOFScript for the model-to-text
transformations. You will need to install Eclipse and the pluggins for Kermeta
and MOFScript before downloading the code of CRESCO.
·
Download
Eclipse for Java Enterprise Edition
·
Download Kermeta – You can use the
Eclipse Update Manager to install Kermeta by specifying the update site: http://www.kermeta.org/update/
·
Download MOFScript – Update
site for Eclipse Update Manager:
http://download.eclipse.org/modeling/gmt/mofscript/update/
The user interface for
populating the database is via the web, Apache Tomcat will need to be
installed.
The archive for CRESCO
needs to be downloaded and then imported into an Eclipse workspace. The CRESCO
documentation provides step-by-step instructions on how to install and use the
tool.
Bug Report
Bug reports are very
welcome. Please direct them to torbjsk@ifi.uio.no
Technical Reports and Publications
·
R. Panesar-Walawege, M.
Sabetzadeh, L. Briand, and T. Coq. "Characterizing the Chain of Evidence
for Software Safety Cases: A Conceptual Model Based on the IEC 61508
Standard." In ICST, 2010. [PDF]
·
R. K.
Panesar-Walawege, M. Sabetzadeh, and L. Briand. Using UML
Profiles for Sector-Specific Tailoring of Safety Evidence Information, In:
International Conference on Conceptual Modeling (ER), 2011. [PDF]
·
T. Knutsen. Construction
of information repositories for managing standards compliance evidence, 2011.
Master Thesis, University of Oslo. [PDF]