Abstract
Development and analysis of complex systems embedded in physical environments requires special modeling techniques. Development aids involve abstraction on multiple levels of representation in order to connect cross-cutting constraints and facilitate involvement of various stakeholders. Alternatively, run-time analysis requires type of modeling that is based on representation of interactions and behaviors. We discuss the Documentation Driven Development (DDD) approach for software development and Agent Based Systems for run-time analysis. We show that despite differences in architectures and functions both approaches possess important properties of reliability and flexibility and allow easy upgrading of their elements.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Luqi, Zhang, L., Berzins, V., Qiao, Y.: Documentation Driven Development for Complex Real-Time Systems. IEEE Transaction on Software Engineering 30(12), 936–952 (2004)
Luqi, Zhang, L.: Documentation Driven Agile Development for Systems of Embedded Systems. In: Monterey Workshop Series: Workshop on Software Engineering for Embedded Systems: From Requirement to Implementation, Chicago, IL (September 24-26, 2003)
Luqi, Liang, X., Zhang, L., Berzins, V.: Software Documentation-Driven Manufacturing. In: COMPSAC 2003. Proceedings of The 27th Annual International Computer Software and Applications Conference, Dallas, Texas (November 3-6, 2003)
Berzins, V., Qiao, Y., Luqi: Information Consistency Checking for Documentation Driven Development for Complex Embedded Systems. In: Monterey Workshop Series: Workshop on Software Engineering for Embedded Systems: From Requirement to Implementation, Chicago, IL (September 24-26, 2003)
Jacoby, G., Luqi: Intranet Portal Model and Metrics: A Strategic Management Perspective, IT Professional (January/February 2005)
Luqi, Zhang, L.: Quantitative Metrics for Risk Assessment in Software Projects. In: SEA 2003. Proceedings of IASTED International Conference on Software Engineering and Applications, Marina del Rey, pp. 76–81 (2003)
Jacoby, G., Luqi: Critical Business Requirements Model and Metrics for Intranet ROI. Journal of Electronic Commerce Research 6(1), 1–30 (2005)
Luqi, Liang, X., Brown, M.: Formal Approach for System Safety Analysis and Assessment via an Instantiated Activity Model. In: Proc. of 21st International System Safety Conference, Ottawa, Canada, August 4-8, 2003, pp. 1060–1069 (2003)
AFRL/IF, Control of Agent Based Systems (CoABS), AFRL/IF Information Directorate, http://www.rl.af.mil/tech/programs/coabs/coabs.html
Arisha, K., Ozcan, F., Ross, R., Subrahmanian, V.S., Eiter, T., Kraus, S.: IMPACT: A Platform for Collaborating Agents. IEEE Intelligent Systems 14, 64–72 (1999)
Shen, W., Norrie, D.H.: Agent-Based Systems for Intelligent Manufacturing: A State-of-the-Art Survey, http://198.20.44.104/wshen/papers/survey-abm.htm
Subrahmanian, V.S., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., Ross, R.: Heterogeneous Agent Systems. The MIT Press, Cambridge (2000), http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=3370&mode=toc
Charniak, E.: Statistical parsing with a context-free grammar and word statistics. In: Proceedings of the Fourteenth National Conference on Artificial Intelligence, AAAI Press, MIT Press, Menlo Park (1997)
Leskovec, J., Grobelnik, M., Milic-Frayling, N.: Learning Sub-structures of Document Semantic Graphs for Document Summarization. In: LinkKDD. Workshop on Link Analysis and Group Detection, Seattle, WA, USA (2004)
Shen, W., Norrie, D.H.: Agent-Based Systems for Intelligent Manufacturing: A State-of-the-Art Survey. Knowledge and Information Systems, an International Journal 1(2), 129–156 (1999)
Boehm, B.: Software Engineering Economics. Prentice-Hall, Englewood Cliffs (1981)
Karolak, D.: Software Engineering Management. IEEE CS Press, Los Alamitos (1996)
Garlan, D., Khersonsky, S., Kim, J.: Model Checking Publish-Subscribe Systems. In: Proc. of 10th Int’l SPIN Workshop Model Checking of Software, pp. 166–180 (2003)
Murrah, M.: Enhancements and Extensions of Formal Models for Risk Assessment in Software Projects. PhD Thesis, Naval Postgraduate School (September 2003)
Sadeh, N., Fox, M.S.: CORTES: An Exploration into Micro-Opportunistic Job-Shop Scheduling. In: IJCAI 1989. Proc. of Workshop on Manufacturing Production Scheduling (1989)
Sycara, K.P., Roth, S.F., Sadeh, N., Fox, M.S.: Resource Allocation in Distributed Factory Scheduling. Intelligent Scheduling, pp. 29–40. Morgan Kaufman Publishers, San Francisco (1991)
Murthy, S., Akkiraju, R., Rachlin, J., Wu, F.: Agent-Based Cooperative Scheduling. In: Proc. of AAAI Workshop on Constrains and Agents, pp. 112–117 (1997)
McEleney, B., O’Hare, G.M.P., Sampson, J.: An Agent Based System for Reducing Changeover Delays in a Job-Shop Factory Environment. In: Proc. of PAAM 1998 (1998)
Smith, R.G.: The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver. IEEE Transactions on Computers C-29(12), 1104–1113 (1980)
Fordyce, K., Sullivan, G.G.: Logistics Management System (LMS): Integrating Decision Technologies for Dispatch Scheduling in Semiconductor Manufacturing. In: Intelligent Scheduling, pp. 473–516. Morgan Kaufman Publishers, San Francisco
Saad, A., Biswas, G., Kawamura, K., Johnson, M.E., Salama, A.: Evaluation of Contract Net-Based Heterarchical Scheduling for Flexible Manufacturing Systems. In: IJCAI 1995. Proc. of Intelligent Manufacturing Workshop, pp. 310–321 (1995)
Ouelhadj, D., Hanachi, C., Bouzouia, B.: Multi-Agent System for Dynamic Scheduling and Control in Manufacturing Cells. In: Working Notes of the Agent-Based Manufacturing Workshop (1998)
Jennings, N.R.: An Agent-based Approach for Building Complex Software Systems. Communications ofthe ACM 44(4), 35–41 (2001)
Gawinecki, M., Kruszyk, M., Paprzycki, M., Ganzha, M.: Pitfalls of agent system development on the basis of a Travel Support System. In: Proceedings of the BIS 2007 Conference, pp. 488–499 (2007)
Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM 12(10), 576–585 (1969)
Church, A.: The Calculi of Lambda Conversion. Princeton University Press, Princeton (1941)
Kaynar, D.K., Lynch, A., Segala, R., Vaandrager, F.: The Theory of Timed I/O Automata. In: Series Synthesis Lectures on Computer Science. Morgan and Claypool Publishers (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Luqi, Berzins, V., Musial, P.M. (2008). Reliability Properties of Models for Flexible Design and Run-Time Analysis. In: Kordon, F., Sokolsky, O. (eds) Composition of Embedded Systems. Scientific and Industrial Issues. Monterey Workshop 2006. Lecture Notes in Computer Science, vol 4888. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77419-8_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-77419-8_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77418-1
Online ISBN: 978-3-540-77419-8
eBook Packages: Computer ScienceComputer Science (R0)