CRESCO: Construction of Evidence Repositories for Managing Standards Compliance

详细信息    查看全文

• 作者：Rajwinder Kaur Panesar-Walawege (12) rpanesar@simula.no
  Torbj?rn Skyberg Knutsen (12) torbjsk@ifi.uio.no
  Mehrdad Sabetzadeh (1) mehrdad@simula.no
  Lionel Briand (12) briand@simula.no
• 关键词：Safety Certification – Conceptual Modeling – MDE – IEC 61508
• 刊名：Lecture Notes in Computer Science
• 出版年：2011
• 出版时间：2011
• 年：2011
• 卷：6999
• 期：1
• 页码：338-342
• 全文大小：191.9 KB
• 参考文献：1. Knutsen, T.: Construction of information repositories for managing standards compliance evidence, Master Thesis, University of Oslo (2011), http://vefur.simula.no/~rpanesar/cresco/knutsen.pdf
  2. Lewis, R.: Safety case development as an information modelling problem. In: Safety-Critical Systems: Problems, Process and Practice, pp. 183–193. Springer, Heidelberg (2009)
  3. Panesar-Walawege, R.K., Sabetzadeh, M., Briand, L.: Using UML profiles for sector-specific tailoring of safety evidence information. In: De Troyer, O., et al. (eds.) ER 2011 Workshops. LNCS, vol. 6999, Springer, Heidelberg (2011)
  4. Panesar-Walawege, R.K., Sabetzadeh, M., Briand, L., Coq, T.: Characterizing the chain of evidence for software safety cases: A conceptual model based on the iec 61508 standard. In: ICST 2010, pp. 335–344 (2010)
  5. Redmill, F.: Installing IEC 61508 and supporting its users – nine necessities. In: 5th Australian Workshop on Safety Critical Systems and Software (2000)
  6. UML 2.0 Superstructure Specification (August 2005)
• 作者单位：1. Simula Research Laboratory, Lysaker, Norway2. University of Oslo, Oslo, Norway
• 刊物类别：Computer Science
• 刊物主题：Artificial Intelligence and Robotics
  Computer Communication Networks
  Software Engineering
  Data Encryption
  Database Management
  Computation by Abstract Devices
  Algorithm Analysis and Problem Complexity
  
• 出版者：Springer Berlin / Heidelberg
• ISSN：1611-3349

文摘

We describe CRESCO, a tool for Construction of Evidence REpositories for Managing Standards COmpliance. 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.