Hangout for experimental confirmation and demonstration of software, computing, and networking. The exercises don't always work out. The professor is a bumbler and the laboratory assistant is a skanky dufus.

Recent Items
 
CVSS: Common Vulnerability Scoring System
 
Open-Source License Simplification (and Trust?)
 
Identity, Authentication, and Attestation Together
 
Collaborative Systems: Social Protocols
 
Secure Computer Infrastructure as a Journey
 
Component-Based Software Engineering Projects
 
TROST: Templates for Raising Open-System Trustworthiness
 
Blackbelted That!
 
Blackbelt this!
 
EDOS Integrates Open-Source Software

Archives
2004-06-13
2004-06-20
2004-06-27
2004-08-29
2004-09-05
2004-09-12
2004-09-19
2004-10-10
2004-10-24
2004-11-07
2004-11-28
2004-12-05
2004-12-12
2004-12-26
2005-01-30
2005-02-06
2005-03-06

Identifying Key Elements of Safety-Critical Software

ACM News Service: Added Reliability to Safety-Critical Software.  This blurb reports on an IST Results report of 2005-02-22.  The funded research has led to the ATASDAS toolkit, which is also available in a commercialized form.

The research project ended in May 2004, and the project coordinator is now involved in the commercialization as imPROVE-C, a product that may be mandated in a variety of situations.

I find this slant puzzling.  The ATASDAS (Automated Target Analysis to SPeed up the Dependability AnalysiS) Consortium page provides no public solution, and the only link for useful content is to a proprietary validation & verification vendor.  So, as valuable as this approach might be, it is difficult to assess.

posted by orcmid at 3/12/2005 12:07:00 AM, rating data by NewsGator Online