Mednarodni projekti
Automating target analysis to speed up the dependability analysis of complex real time software modules
Organizacije (1)
Povzetek
Real time software for control applications may exhibit misbehaviours during the validation phase as well as in operation or during maintenance. Software developers must then quickly address the bug issues, while getting into very complex architectures. The ATASDAS project aims at building a toolbox, which is based on the 'pencil and paper' approach used by experts in dependability analysis. This tool will greatly automate dependability analysis, implementing heuristics and algorithms of graph theory, in order to obtain the following attributes at a much faster pace than the 'pencil and paper' approach:- The software architecture;- The call graph of each parallel processing steps built into the software;- The data dependency graph based on the critical inputs of each parallel processing;- The data dependency graph generating the critical outputs of each parallel processing;- The data flow graph of the software of each parallel processing;- The data share between each parallel processing- Appropriate metrics describing the analysed software both at component level and at system level, i.e., the call graph depth, the number of components, the input and output statistics per component, etc.The ATASDAS tool will work with any source code written in current real time software languages (C, C\\, Ada, Modula 2), in compliance with any of the major standards dealing with software dependability.This static analysis approach, which makes sense when it deals with the preliminary steps of a target analysis, will also provide some key information about the relevant 'real time information' needed for analysis dealing with real time, deterministic, synchronous systems (through the call graph and dependency graphs). The ATASDAS software tool will help real time software project managers and their quality counterpart to speed up the first analysis of failing source codes, without having the important prior background, which experts have acquired in dealing with pre Real time software for control applications may exhibit misbehaviours during the validation phase as well as in operation or during maintenance. Software developers must then quickly address the bug issues, while getting into very complex architectures. The ATASDAS project aims at building a toolbox, which is based on the 'pencil and paper' approach used by experts in dependability analysis. This tool will greatly automate dependability analysis, implementing heuristics and algorithms of graph theory, in order to obtain the following attributes at a much faster pace than the 'pencil and paper' approach:- The software architecture;- The call graph of each parallel processing steps built into the software;- The data dependency graph based on the critical inputs of each parallel processing;- The data dependency graph generating the critical outputs of each parallel processing;- The data flow graph of the software of each parallel processing;- The data share between each parallel processing- Appropriate metrics describing the analysed software both at component level and at system level, i.e., the call graph depth, the number of components, the input and output statistics per component, etc.The ATASDAS tool will work with any source code written in current real time software languages (C, C\\, Ada, Modula 2), in compliance with any of the major standards dealing with software dependability.This static analysis approach, which makes sense when it deals with the preliminary steps of a target analysis, will also provide some key information about the relevant 'real time information' needed for analysis dealing with real time, deterministic, synchronous systems (through the call graph and dependency graphs). The ATASDAS software tool will help real time software project managers and their quality counterpart to speed up the first analysis of failing source codes, without having the important prior background, which experts have acquired in dealing with pre OBJECTIVESThe ATASDAS project has
