loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04)
Knowledge-Centric and Language Independent Framework for Safety Analysis Tools
Tampa, Florida
March 25-March 26
ISBN: 0-7695-2094-4
S. C. Kothari, Iowa State University
Luke Bishop, Iowa State University
Jeremias Sauceda, Iowa State University
Gary Daugherty, Rockwell Collins
This paper presents a knowledge-centric and language independent framework and its application to develop safety analysis tools for avionics systems. A knowledge-centric approach is important to address domain-specific needs, with respect to the types of problems the tools detect and the strategies used to analyze and adapt the code. The knowledge is captured by formally specified patterns used to detect a variety of problems, ranging from simple syntactic issues to difficult semantic problems requiring global analysis. Patterns can also be used to describe transformations of the software, used to rectify problems detected through software inspection, and to support interactive inspection and adaptation when full automation is impractical. This paper describes the Knowledge Centric Software (KCS) framework. It focuses on two key aspects: an eXtensible Common Intermediate Language (XCIL) for language independent analysis, and an eXtensible Pattern Specification Language (XPSL) for representing domain-specific knowledge.
Citation:
S. C. Kothari, Luke Bishop, Jeremias Sauceda, Gary Daugherty, "Knowledge-Centric and Language Independent Framework for Safety Analysis Tools," hase, pp.45-55, Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.