Certifying measurement unit safety policy

Grigore Roşu; Feng Chen

doi:10.1109/ASE.2003.1240326

Certifying measurement unit safety policy

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Measurement unit safety policy checking is a topic in software analysis concerned with ensuring that programs do not violate basic principles of units of measurement. Such violations can hide significant domain-specific errors which are hard or impossible to find otherwise. Measurement unit analysis by means of automatic deduction is addressed in this paper. We draw general design principles for measurement unit certification tools and discuss our prototype for the C language, which includes both dynamic and static checkers. Our approach is based on assume/assert annotations of code, which are properly interpreted by our deduction-based tools and ignored by standard compilers. We do not modify the language in order to support units. The approach can be extended to incorporate other safety policies without great efforts.

Original language	English (US)
Title of host publication	Proceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	304-309
Number of pages	6
ISBN (Electronic)	0769520359, 9780769520353
DOIs	https://doi.org/10.1109/ASE.2003.1240326
State	Published - 2003
Externally published	Yes
Event	18th IEEE International Conference on Automated Software Engineering, ASE 2003 - Montreal, Canada Duration: Oct 6 2003 → Oct 10 2003

Publication series

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

Conference

Conference	18th IEEE International Conference on Automated Software Engineering, ASE 2003
Country/Territory	Canada
City	Montreal
Period	10/6/03 → 10/10/03

ASJC Scopus subject areas

Software
Safety, Risk, Reliability and Quality
Control and Optimization
Modeling and Simulation

Online availability

10.1109/ASE.2003.1240326

Library availability

Discover UIUC Full Text

Cite this

Roşu, G., & Chen, F. (2003). Certifying measurement unit safety policy. In Proceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003 (pp. 304-309). (Proceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ASE.2003.1240326

Certifying measurement unit safety policy. / Roşu, Grigore; Chen, Feng.
Proceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003. Institute of Electrical and Electronics Engineers Inc., 2003. p. 304-309 (Proceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Roşu, G & Chen, F 2003, Certifying measurement unit safety policy. in Proceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003. Proceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003, Institute of Electrical and Electronics Engineers Inc., pp. 304-309, 18th IEEE International Conference on Automated Software Engineering, ASE 2003, Montreal, Canada, 10/6/03. https://doi.org/10.1109/ASE.2003.1240326

@inproceedings{ad81654dff594b7ebc18265cd8f76202,

title = "Certifying measurement unit safety policy",

abstract = "Measurement unit safety policy checking is a topic in software analysis concerned with ensuring that programs do not violate basic principles of units of measurement. Such violations can hide significant domain-specific errors which are hard or impossible to find otherwise. Measurement unit analysis by means of automatic deduction is addressed in this paper. We draw general design principles for measurement unit certification tools and discuss our prototype for the C language, which includes both dynamic and static checkers. Our approach is based on assume/assert annotations of code, which are properly interpreted by our deduction-based tools and ignored by standard compilers. We do not modify the language in order to support units. The approach can be extended to incorporate other safety policies without great efforts.",

author = "Grigore Ro{\c s}u and Feng Chen",

note = "Publisher Copyright: {\textcopyright} 2003 IEEE; 18th IEEE International Conference on Automated Software Engineering, ASE 2003 ; Conference date: 06-10-2003 Through 10-10-2003",

year = "2003",

doi = "10.1109/ASE.2003.1240326",

language = "English (US)",

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

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "304--309",

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

address = "United States",

}

TY - GEN

T1 - Certifying measurement unit safety policy

AU - Roşu, Grigore

AU - Chen, Feng

PY - 2003

Y1 - 2003

N2 - Measurement unit safety policy checking is a topic in software analysis concerned with ensuring that programs do not violate basic principles of units of measurement. Such violations can hide significant domain-specific errors which are hard or impossible to find otherwise. Measurement unit analysis by means of automatic deduction is addressed in this paper. We draw general design principles for measurement unit certification tools and discuss our prototype for the C language, which includes both dynamic and static checkers. Our approach is based on assume/assert annotations of code, which are properly interpreted by our deduction-based tools and ignored by standard compilers. We do not modify the language in order to support units. The approach can be extended to incorporate other safety policies without great efforts.

AB - Measurement unit safety policy checking is a topic in software analysis concerned with ensuring that programs do not violate basic principles of units of measurement. Such violations can hide significant domain-specific errors which are hard or impossible to find otherwise. Measurement unit analysis by means of automatic deduction is addressed in this paper. We draw general design principles for measurement unit certification tools and discuss our prototype for the C language, which includes both dynamic and static checkers. Our approach is based on assume/assert annotations of code, which are properly interpreted by our deduction-based tools and ignored by standard compilers. We do not modify the language in order to support units. The approach can be extended to incorporate other safety policies without great efforts.

UR - http://www.scopus.com/inward/record.url?scp=24944470587&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=24944470587&partnerID=8YFLogxK

U2 - 10.1109/ASE.2003.1240326

DO - 10.1109/ASE.2003.1240326

M3 - Conference contribution

AN - SCOPUS:24944470587

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

SP - 304

EP - 309

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

PB - Institute of Electrical and Electronics Engineers Inc.

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

Y2 - 6 October 2003 through 10 October 2003

ER -

Certifying measurement unit safety policy

Abstract

Publication series

Conference

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this