Semi-automatic fault localization and behavior verification for physical system simulation models

Proceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003

Volumn , Issue , 2003, Pages 253-258

  Bunus, Peter ^a   Fritzson, Peter ^a  

^a LINKÖPING UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMIC LANGUAGES; COMPUTER SIMULATION LANGUAGES; MODELING LANGUAGES; PROGRAM DEBUGGING;

AUTOMATIC FAULT LOCALIZATIONS; COMPLEX PHYSICAL SYSTEMS; EQUATION BASED; KEY TECHNOLOGIES; MATHEMATICAL MODELING AND SIMULATION; PHYSICAL SYSTEMS; SEMI-AUTOMATICS; SIMULATION MODEL; SYSTEM SIMULATION MODELS; SYSTEM SIMULATIONS;

AUTOMATION;

EID: 20344388712     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2003.1240315     Document Type: Conference Paper

References (13)

1. Duff Iain S. and J. K. Reid. (1978) "Algorithm 529: Permutations To Block Triangular Form. ACM Transactions on Mathematical Software (TOMS)." ACM Transactions on Mathematical Software (TOMS), vol. 4: 2, pp. 189-192, 1978.
2. Duff Iain S. and J. K. Reid. (1978) "An Implementation of Tarjan's Algorithm for the Block Triangularization of a Matrix." ACM Transactions on Mathematical Software (TOMS), vol. 4: 2, pp. 137-147, 1978.
3. Duff Iain S. and J. K. Reid. (1981) "Algorithm 575: Permutations for a Zero-Free Diagonal." ACM Transactions on Mathematical Software (TOMS), vol. 7: 3, pp. 387-390, 1981.
4. Duff Iain S. and J. K. Reid. (1981) "On Algorithms for Obtaining a Maximum Transversal." ACM Transactions on Mathematical Software., vol. 7:3, pp. 315-330, 1981.
5. Elmqvist Hilding, Sven Erik Mattsson, and Martin Otter. (1999). "Modelica - A Language for Physical System Modeling, Visualization and Interaction." In Proceedings of the IEEE Symposium on Computer-Aided Control System Design. (Hawaii, USA, August 22-27, 1999).
6. Fritzson Peter. (2003). Principles of Object-Oriented Modeling and Simulation - with Modelica. In Press. IEEE Press and John Willey, 2003.
7. Fritzson Peter and Peter Bunus. (2002). "Modelica, a General Object-Oriented Language for Continuous and Discrete-Event System Modeling and Simulation" In Proceedings of the 35th Annual Simulation Symposium. (San Diego, California, April 14-18, 2002).
8. Fritzson Peter, Nahid Shahmehri, and Mariam Kamkar. (1992) "Generalized Algorithmic Debugging and Testing" ACM Letters on Programming Languages and Systems, vol. 1: 4, pp. 303-322, 1992.
9. Lyle J.R. and M. Weiser. (1987). "Automatic Program Bug Location by Program Slicing" In Proceedings of the The Second International Conference on Computers and Applications. (Peking, China, June, 1987).
10. Parasoft. (1997) "It's a Bug Free World After All." Technical Paper PS-9710-DV3, 1997.
11. Shahmehri Nahid. (1991). Generalized Algorithmic Debugging. PhD Thesis, Disertation no. 260. Linköping University, Sweden, 1991.
12. Shapiro Ehud. (1983). Algorithmic Program Debugging, MIT Press, 1983.
13. Weiser M. (1984) "Program Slicing" IEEE Transactions on Software Engineering,vol. SE-16:4, pp. 352-357, 1984.