Skip to main content
SpringerLink
Log in

Systems analysis of life cycle of large-scale information-control systems

  • Computer-Aided Information Control Systems, Process Control Systems
  • Published:
Automation and Remote Control Aims and scope Submit manuscript

Abstract

Results of analysis of problems associated with life cycle cost reduction for large-scale information-control systems are presented. Rational design concepts with application of an aspect-oriented method for large-scale systems are described. An approach to life cycle organization corresponding to the ISO/IEC 12207-2008 standard on the basis of domain engineering and model-driven engineering technologies is proposed. The paper shows a necessity of using the approach within a unified mathematical semantic base supplied by category theory. The approach has been tested during development of application information-control systems in energy production.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Mamikonov, A.G., Metody razrabotki avtomatizirovannykh sistem upravleniya (Design Methods for Automated Control Systems), Moscow: Energiya, 1973.

    Google Scholar 

  2. Ultra-Large-Scale Systems: The Software Challenge of the Future, Pollak, B., Ed., Pittsburgh: Carnegie Mellon Software Engineering Inst., 2006.

    Google Scholar 

  3. Glushkov, V.M., Vvedenie v ASU (Introduction to ACS), Kiev: Tekhnika, 1972.

    Google Scholar 

  4. Charnetski, K. and Aizeneker, U., Porozhdayushchee programmirovanie: metody, instrumenty, primenenie (Generating Programming: Methods, Tools, and Application), St. Petersburg: Piter, 2005.

    Google Scholar 

  5. Schmidt, D.C., Model-driven Engineering, IEEE Comput., 2006, vol. 39, no. 2, pp. 25–32.

    Article  Google Scholar 

  6. Aspect-oriented Software Development, Filman, R.E., et al., Eds., Reading: Addison-Wesley, 2004.

    Google Scholar 

  7. Voevodin, V.V. and Voevodin, Vl.V., Parallel’nye vychisleniya (Parallel Computing), St. Petersburg: BKhV-Peterburg, 2002.

    Google Scholar 

  8. Kolovos, D.S., Paige, R.F., and Polack, F.A.C., The Grand Challenge of Scalability for Model Driven Engineering, Lecture Notes Comput. Sci., 2009, vol. 5421, pp. 48–53.

    Article  Google Scholar 

  9. Diskin, Z. and Maibaum, T.S.E., Category Theory and Model-driven Engineering: From Formal Semantics to Design Patterns and Beyond, Proc. 7th ACCAT Workshop Appl. Computat. Category Theory ACCAT’2012, Electronic Proc. Theoret. Comput. Sci., Tallinn, 2012, vol. 93, pp. 1–21.

    Article  Google Scholar 

  10. Goguen, J., Categorical Foundations for General Systems Theory, in Advances in Cybernetics and Systems Research, Pichler, F. and Trappl, R., Eds., London: Transcripta Books, 1973, pp. 121–130.

    Google Scholar 

  11. Fiadeiro, J.L., Categories for Software Engineering, New York: Springer, 2005.

    MATH  Google Scholar 

  12. Kamer, D., Seti TCP/IP (Internetworking with TCP/IP), vol. 1: Printsipy, protocoly i struktury (Principles, Protocols, and Architecture), Moscow: Vil’yams, 2003.

    Google Scholar 

  13. ISC Domain Survey, Internet Systems Consortium, 2012, http://www.isc.org/solutions/survey.

  14. CIDR Report, http://www.cidr-report.org/as2.0/.

  15. Nikanorov, S.P., Teoretiko-sistemnye konstrukty dlya kontseptual’nogo analiza i proektirovaniya (System-Theoretical Constructs for Conceptual Analysis and Designing), Moscow: Kontsept, 2008.

    Google Scholar 

  16. Pyavchenko, T.A. and Finaev, V.I., Avtomatizirovannye informatsionno-upravlyayushchie sistemy (Automated Information-Control Systems), Taganrog: Taganr. Radiotekh. Univ., 2007.

    Google Scholar 

  17. Eliferov, V.G. and Repin, V.V., Biznes protsessy: reglamentatsiya i upravlenie (Business Processes: Regulation and Management), Moscow: INFRA-M, 2012.

    Google Scholar 

  18. Anvaari, M., Cruzes, D.S., and Conradi, R., Smart Grid Software Applications as an Ultra-large-scale System: Challenges for Evolution, 2012 IEEE PES Innovative Smart Grid Technologies (ISGT), Washington, 2012, pp. 1–6.

    Chapter  Google Scholar 

  19. Sannella, D., A Survey of Formal Software Development Methods, in Software Engineering: A European Prospective, Thayer, R.H. and McGettrick, A.D., Eds., IEEE Comput. Soc. Press, 1993, pp. 281–297.

    Google Scholar 

  20. Mamikonov, A.G., Kulba, V.V., and Kosyachenko, S.A., Tipizatsiya razrabotki modul’nykh sistem obrabotki dannykh (Type Designs of Modular Data Processing System), Moscow: Nauka, 1989.

    Google Scholar 

  21. Kannenberg, A. and Saiedian, H., Why Software Requirements Traceability Remains a Challenge, J. Defense Softw. Eng., 2009, July/August, pp. 14–19.

    Google Scholar 

  22. Pohl, C., Charfi, A., Gilani, W., Gobel, S., et al., Adopting Aspect-oriented Software Development in Business Application Engineering, Proc. Int. Conf. AOSD’2008. Industry track, Brussels, 2008, http://www.aosd.net/2008/program/industry.php.

    Google Scholar 

  23. Egyed, A., Grünbacher, P., Heindl, M., and Biffl,, S., Value-based Requirements Traceability: Lessons Learned, Lecture Notes Business Inform. Proc., 2009, vol. 14, pp. 240–257.

    Article  Google Scholar 

  24. Aizenbud-Reshef, N., Nolan, B., Rubin, J., and Shaham-Gafni, Y., Model Traceability, IBM Syst. J., 2006, vol. 45, no. 3, pp. 515–526.

    Article  Google Scholar 

  25. Andryushkevich, S.K. and Kovalev, S.P., Dynamic Weaving of Aspects in Large-Scale Control Systems, Vychisl. Tekhnol., 2011, vol. 16, no. 6, pp. 3–12.

    Google Scholar 

  26. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., et al. Aspect-oriented Programming, Lecture Notes Comput. Sci., 1997, vol. 1241, pp. 220–242.

    Article  Google Scholar 

  27. Colyer, A., Clement, A., Harley, G., and Webster, M., Eclipse AspectJ, Reading: Addison-Wesley, 2004.

    Google Scholar 

  28. Zhang, J., Cottenier, T., van den Berg, A., and Grey, J., Aspect Composition in the Motorola Aspectoriented Modeling Weaver, J. Object Technol., 2007, vol. 6, no. 7, pp. 89–108.

    Article  Google Scholar 

  29. Rashid, A. and Chitchyan, R., Aspect-oriented Requirements Engineering: A Roadmap, Proc. 13th Int. Workshop on Early Aspects EA’2008, Leipzig, 2008, pp. 35–41.

    Chapter  Google Scholar 

  30. Schauerhuber, A., Schwinger, W., Kapsammer, E., Retschitzegger, W., et al., Towards a Common Reference Architecture for Aspect-oriented Modeling, Proc. 8th Int. Workshop on Aspect-Oriented Modeling, Bonn, 2006, http://publik.tuwien.ac.at/files/pub-inf3843.pdf.

    Google Scholar 

  31. Kovalyov, S.P., Modeling Aspects by Category Theory, Proc. 9th Workshop on Foundations of Aspect-Oriented Languages, Rennes, 2010, pp. 63–68.

    Google Scholar 

  32. Karpova, T.S., Bazy dannykh: modeli, razrabotka, realizatsiya (Databases: Models, Development, and Implementation), St. Petersburg: Piter, 2001.

    Google Scholar 

  33. Zamulin, A.V., Formal’nye metody spetsifikatsii programm (Formal Program Specification Techniques), Novosibirsk: Novosib. Gos. Univ., 2002.

    Google Scholar 

  34. Vasilev, S.N., Zherlov, A.K., Fedosov, E.A., and Fedunov, B.E., Intellektnoe upravlenie dinamicheskimi sistemami (Intelligent Control of Dynamical Systems), Moscow: Fizmatlit, 2000.

    Google Scholar 

  35. Goldblatt, R., Logics of Time and Computation, Stanford: Center for the Study of Language and Information, 1987. Translated under the title Logika vremeni i vychislimost’, Moscow: Mir, 1993.

    MATH  Google Scholar 

  36. Hoare, C.A.R., Communicating Sequential Processes, Englewood Cliffs: Prentice-Hall, 1985. Translated under the title Vzaimodeistvuyushchie posledovatel’nye protsessy, Moscow: Mir, 1989.

    MATH  Google Scholar 

  37. Gurevich, Y., Evolving Algebras 1993: Lipari Guide, Specification and Validation Methods, Oxford: Oxford Univ. Press, 1995, pp. 9–36.

    Google Scholar 

  38. Kovalev, S.P., Formal’nyi podkhod k razrabotke programmnykh sredstv. Uch. Posobie (Formal Approach to Software Development. Tutorial), Novosibirsk: Novosib. Gos. Univ., 2004.

    Google Scholar 

  39. Deng, G., Gray, J., Schmidt, D., Lin, Y., et al., Evolution in Model-driven Software Product-line Architectures, in Software Applications: Concepts, Methodologies, Tools, and Applications, Hershey: IGI Global, 2009, pp. 1280–1312.

    Chapter  Google Scholar 

  40. Paige, R.F., Drivalos, N., Kolovos, D.S., Fernandes, K.J., et al., Rigorous Identification and Encoding of Trace-links in Model-driven Engineering, Softw. Syst. Model, 2011, vol. 10, no. 4, pp. 469–487.

    Article  Google Scholar 

  41. Mohagheghi, P. and Dehlen, V., Where is the Proof ?-A Review of Experiences from Applying MDE in Industry, Lecture Notes Comput. Sci., 2008, vol. 5095, pp. 432–443.

    Article  Google Scholar 

  42. Herrmann, C., Krahn, H., Rumpe, B., Schindler, M., et al., Scaling-up Model-based Development for Large Heterogeneous Systems with Compositional Modeling, Proc. Int. Conf. Software Eng. Res. & Practice SERP’2009, Las Vegas, 2009, pp. 172–176.

    Google Scholar 

  43. Hailpern, B. and Tarr, P., Model-driven Development: The Good, the Bad, and the Ugly, IBM Syst. J., 2006, vol. 45, no. 3, pp. 451–461.

    Article  Google Scholar 

  44. Mac Lane, S., Categories for the Working Mathematician, New York: Springer, 1978. Translated under the title Kategorii dlya rabotaushchego matematika, Moscow: Fizmatlit, 2004.

    Book  Google Scholar 

  45. Matrosov, V.M., Anapolskii, L.Yu., and Vasilev, S.N., Metod sravneniya v matematicheskoi teorii sistem (Comparison Method in Systems Theory), Novosibirsk: Nauka, 1980.

    Google Scholar 

  46. Lambek, J. and Scott, P.J., Introduction to Higher Order Categorical Logic, Cambridge: Cambridge Univ. Press, 1986.

    MATH  Google Scholar 

  47. Scott, D.S., Domains for Denotational Semantics, in Matematicheskaya logika v programmirovanii (Mathematical Logic in Computer Programming), Moscow: Mir, 1991, pp. 58–118.

    Google Scholar 

  48. Wolfengagen, V.E., Object-oriented Solutions, Proc. 2nd Int. Workshop on Advances in Databases and Information systems ADBIS’95, Moscow, 1995, pp. 117–128.

    Google Scholar 

  49. Goguen, J., A Categorical Manifesto, Math. Structures Comput. Sci., 1991, vol. 1, no. 1, pp. 49–67.

    Article  MathSciNet  MATH  Google Scholar 

  50. Goguen, J. and Burstall, R., Institutions: Abstract Model Theory for Specification and Programming, J. ACM, 1992, vol. 39, no. 1, pp. 95–146.

    Article  MathSciNet  MATH  Google Scholar 

  51. Plotkin, B.I., Universal’naya algebra, algebraicheskaya logika i bazy dannykh (Universal Algebra, Algebraic Logic, and Databases), Moscow: Nauka, 1991.

    MATH  Google Scholar 

  52. Srinivas, Y.V. and Jüllig, R., SPECWARE: Formal Support for Composing Software, Lecture Notes Comput. Sci., 1995, vol. 947, pp. 399–422.

    Article  Google Scholar 

  53. Sassone, V., Nielsen, M., and Winskell, G., A Classification of Models for Concurrency, Lecture Notes Comput. Sci., 1993, vol. 715, pp. 82–96.

    Article  Google Scholar 

  54. Jacobs, B. and Rutten, J., A Tutorial on (co)Algebras and (co)Induction, EATCS Bull., 1997, vol. 62, pp. 222–259.

    MATH  Google Scholar 

  55. Pfalzgraf, J. and Soboll, T., On a General Notion of Transformation for Multiagent Systems and Its Implementation, Electron. Commun. Eur. Associat. Softw. Sci. Technol., 2008, vol. 12.

  56. Kovalev, S.P., Diagram Description of Software System Compositions, Vestn. Novosib. Gos. Univ., Ser. Mat., Mekh., Informatika, 2012, vol. 12, no. 3, pp. 103–126.

    Google Scholar 

  57. Kovalev, S.P., Algebraic Approach to Designing Distributing Computing Systems, Sib. Zh. Ind. Mat., 2007, vol. 10, no. 2(30), pp. 70–84.

    MathSciNet  MATH  Google Scholar 

  58. Kovalev, S.P., Application of Aspect-Oriented Approach to Automation of Large-Scale Objects and Control Processes, Mater. VI Mezhd. Konf. “Upravlenie razvitiem krupnomasshtabnykh sistem” (Proc. VI Int. Conf. “Management of Large System Development”), Moscow, 2012, vol. 2, pp. 315–318.

    Google Scholar 

  59. Kovalev, S.P., Andryushkevich, S.K., and Guskov, A.E., Certificate of State Registration of a Computer Program no. 2009613359, 2009.

  60. Tregubov, A.M. and Kovalev, S.P., Peculiarities of Designing Energy Supply Control and Monitoring Systems, Vestn. Novosib. Gos. Univ., Ser. Inform. Tekhnol., 2012, vol. 10, no. 3, pp. 80–91.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Trapeznikov Institute of Control Sciences, Russian Academy of Sciences, Moscow, Russia

    S. P. Kovalev

Authors
  1. S. P. Kovalev
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Original Russian Text © S.P. Kovalev, 2013, published in Avtomatika i Telemekhanika, 2013, No. 9, pp. 98–118.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kovalev, S.P. Systems analysis of life cycle of large-scale information-control systems. Autom Remote Control 74, 1510–1524 (2013). https://doi.org/10.1134/S0005117913090075

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0005117913090075

Keywords

Search

Navigation