Description: SRI International is one of the world's largest, independent, nonprofit research, technology development and consulting organisations. Founded in 1946 in conjunction with Stanford as the Stanford Research Institute, SRI now employs more than 2600 people and has offices around the world.
SRI's Computer Science Laboratory (CSL) was founded in 1952 and employs 30 professionals, plus graduate students and visiting scientists. A main objective of CSL is to advance the theory and practice of producing complex software and hardware systems that, to a high degree of certainty, have the intended structural and behavioral properties.
Within CSL, the Dependable System Architecture group performs research on methods and tools enabling the development of high-assurance software/hardware systems, based on architectural descriptions and on hierarchies of architectural descriptions. Research within the group focuses on verification and analysis of system properties derived from architecture descriptions and on correctness-preserving transformations and refinements of architectures. Members of the Dependable System Architecture group have expertise in formal requirements specification and analysis and the group has strong interests in requirement acquisition, and in requirement traceability and the documentation of design rationale throughout the architecture design process.
The group has strong links with the Department of Computing Science and Engineering of the UniversitÈ catholique de Louvain (Prof. Axel vanÝLamsweerde) and with the Computer Science Department of Stanford University (Prof. Zohar Manna and Prof. David Dill).
Researchers associated with the project: Victoria Stavridou, Robert A. Riemenschneider, Bruno Dutertre, Fred Gilham
Brief CVs of Key Researchers:
Name: Victoria Stavridou
Nationality: British/Greek
Email: victoria@csl.sri.com
Home page:http://www.csl.sri.com/~victoria/
Academic Qualifications & Experience: Victoria Stavridou holds a BSc on Electronic Computer Systems and an MSc in the Assessment of Computer Aided Logic Design, both from the University of Salford, UK, as well as a PhD on Equational Specification and Verification of Digital Systems from the University of Manchester. She joined the Computer Science Laboratory of SRI International in 1998, as a Senior Computer Scientist, and she leads the Dependable Systems Architecture Group. Her research interests include safety critical systems, formal methods and dependability. She has written extensively in these areas. Prior to joining SRI she was a Lecturer at Royal Holloway, University of London and a Reader in Computer Science, at Queen Mary and Westfield College, University of London. She has been involved in several European and UK-funded research projects in the areas of hardware verification, formal methods, and safety-critical systems.
Name: Robert A. Riemenschneider
Nationality: American
Email: rar@csl.sri.com
Home page: http://www.csl.sri.com/dsa/people/rar.html
Academic Qualifications & Experience: R. A. Riemenschneider received the B.S. degree (summa cum laude) in physics and mathematics from the Miami University in 1973 and the M.A. degree in mathematics from the University of California Berkeley in 1975. He joined the Computer Science Laboratory of SRI International in 1991 as a Senior Software Engineer, where he performs research and development on applications of logic to software engineering. Prior to joining SRI, he was a senior Research Scientist at Advanced Decision Systems, a founder of Reasoning Systems, a Computer Scientist at Systems Control Technology, and an Instructor at the University of California at Berkeley and the California State University at Hayward. Mr Riemenschneider is a member of the Association for Symbolic Logic, the Association for Computing Machinery, and the IEEE Computer Society.
Name: Bruno Dutertre
Nationality: French
Email:bruno@csl.sri.com
Home page: http://www.csl.sri.com/~bruno/
Academic Qualification & Experience: Bruno Dutertre received a D.E.A. and a doctorate in Computer Science from the University of Rennes 1/IFSIC and an Engineering Degree in Computer Science from INSA-Rennes. He joined the Computer Science Laboratory of SRI International in 1998 as a Computer Scientist. His main research interests are formal methods and high-integrity systems, and the application of logic and theorem proving to software engineering. He has strong experience in the application of theorem proving to the analysis of control systems requirements. He has also worked on the formal verification of security protocols and on symbolic model-checking techniques for the verification of Signal programs.
Selected Publications:
B. Dutertre and V. Stavridou, (1997): Formal Requirements Analysis of an Avionics Control System. IEEE Transactions on Software Engineering, Vol. 23, No 5, pp. 267-278.
B. Dutertre and V. Stavridou, (1997): Requirements Analysis of Real-Time Control Systems using PVS. Fourth NASA Langley Formal Methods Workshop, NASA Conference Publication 3356, pp.Ý65-74.
B. Dutertre and V. Stavridou (1998): Avionics Systems Requirements: a Comparison of RSML and SCR, 16th International System Safety Conference. To appear.
M. Moriconi, X. Qian, and R.A. Riemenschneider (1995): Correct Architecture Refinement. IEEE Transactions on Software Engineering, Vol. 21, No 4, pp.356-372.
M. Moriconi, X. Qian, R.A. Riemenschneider, and L. Gong (1997): Secure Software Architectures. Proceedings of the IEEE Symposium on Security and Privacy, pp. 84-93.
V. Stavridou and R.A. Riemenschneider (1998): Provably Dependable Software Architectures, 3rd International Software Architecture Workshop (ISAW3). To appear.
Contact Details:
Principal Investigator: Dr. Victoria Stavridou
Address: Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA.
Telephone number: +1 650 859 4590
Telefax number: +1 650 859 2844
EMail: victoria@csl.sri.com
List of Members