Predictable assembly

ABB Review

Volumn , Issue 2, 2005, Pages 49-54

  Larsson, Magnus ^a   Wall, Anders ^a   Wallnau, Kurt ^b  

^a ABB CORPORATE RESEARCH   (Sweden)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABB (CO); CARNEGIE-MELLON UNIVERSITY; PREDICTABLE ASSEMBLY; SOFTWARE COMPLEXITY; SOFTWARE QUALITY;

COMPUTER SOFTWARE; COMPUTER SOFTWARE MAINTENANCE; CONSTRAINT THEORY; INDUSTRIAL MANAGEMENT; MATHEMATICAL MODELS; QUALITY CONTROL; RELIABILITY; SOCIETIES AND INSTITUTIONS; SOFTWARE ENGINEERING; SPECTRUM ANALYSIS;

ASSEMBLY;

EID: 20944440553     PISSN: 10133119     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Review

References (13)

1. Ward-Dutton, N., "Containers: A sign components are growing up." Application Development Trends, pp 41-46, Jan 2000.
2. Lehoczky, J. P., "Real-time queuing theory," in Proceedings of the IEEE Real-Time Systems Symposium, 186-195, IEEE, New York, 1996.
3. Hissam et. al., "Predictable Assembly of Substation Automation Systems: An Experiment Report, Second Edition, Technical Report CMU/SEI-2002-TR-031, www.sei.cmu.edu/publications/documents/02.reports/02tr031. html
4. Wallnau, K., Ivers, J., Snapshot of CCL: A Language for Predictable Assembly, Technical Note CMU/SEI-2003-TN-025, www.sei.cmu.edu/publications/ documents/03.reports/03tn025.html
5. Klein et. al., A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems, Kluwer Academic Publishers, 1993.
6. Larsson M., Predicting Quality Attributes in Component-based Software Systems, Ph. D thesis Mälardalen University Press, ISBN 91-88834-33-6
7. Moreno, G., Hissam, S. Wallnau, K. " Statistical Models for Empirical Component Properties and Assembly-Level Property Predictions: Toward Standard Labelling," in the 5th ICSE Workshop on Component-Based Software Engineering, May 2002, www.preview.sei.cmu.edu/pacc/CBSE5/Moreno-cbse5-final.pdf
8. Hissam et. al., Performance Property Theories for Predictable Assembly from Certifiable Components, Technical Report CMU/SEI-2004-TR-017, www.sei.cmu.edu/publications/documents/04.reports/04tr017.html
9. Ivers, J., Sharygina, N., Overview of ComFoRT: A Model checking Reasoning Framework, Technical Note CMU/SEI-2004-TN-018, www.sei.cmu.edu/publications/ documents/04.reports/04tn018.html
10. Meyer, B. "The Grand Challenge of Trusted Components," 660-667. Proceedings of the 25th International Conference on Software Engineering (ICSE). Portland, Oregon, May 3-10, 2003. Los Alamitos, CA: IEEE Computer Press, 2003.
11. Clarke, E., Kroening, D., Sharygina, N., Yorav, K., "Predicate Abstraction of ANSI-C Programs Using SAT," in Formal Methods in System Design, 25, 105-127, 2004, Kluwer Academic Publishers.
12. Wallnau, K., Software Component Certification: 10 Useful Distinctions, Technical Note CMU/SEI-2004-TN-031, http://www.sei.cmu.edu/publications/ documents/04.reports/04tn031.html
13. Nierstrasz, O., et al, "A component Model for Field Devices" Proceedings First International IFIP/ACM Working Conference on Component Deployment, ACM, Berlin, Germany, June 2002. See also http://www.pecos-project. org/