Abstract
In this paper we examine software tools and design examples of executable logic prototypes for modelling of complex systems. The prototype is set by the specification in predicate calculus language. Semantics of specification supposes effectively realized interpretation whose result is a prototype and/or diagnosis of project errors. We use rapid prototyping techniques, the specification is easily modified. The approach provides three levels of logic modelling in the same programming environment: prototyping of static structure of a system, logic of processes, dynamic behaviour. Prototyping of structure and technological processes of freight terminal “Taganrog” has been chosen as an example.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Hencke, R.: Prototyping increasing the pace of innovation. In: Defense AT&L Magazine, pp. 10–14 (2014)
Spivey, G., Bhattacharyya, S.S., Nakajima, K.: Logic foundry: rapid prototyping for FPGA-based DSP systems. EURASIP J. Appl. Sig. Process. 6, 565–579 (2003)
Ilyicheva, O.A.: Technology of logic modelling and the analysis of complex systems. In: The Engineering Bulletin of Don, vol. 2, issue 4 (2012). http://www.ivdon.ru/ru/magazine/archive/n4p2y2012/1234
Komorowski, H.J.: Logic programming and rapid prototyping. Sci. Comput. Program. 2(9), 179–205 (1987)
Brunette, C., Taplin, J., Gamatie, A., Gautier, T.: A metamodel for the design of polychromous systems. J. Logic Algebraic Program. 78(4), 233–259 (2009)
Kerdprasop, N., Kerdprasop, K.: Frequent pattern discovery with constraint logic programming. Int. J. Math. Models Methods Appl. Sci. 5(8), 1345–1353 (2011)
Kerdprasop, N., Intharachatorn, K., Kerdprasop, K.: Prototyping an expert system shell with the logic-based approach. Int. J. Smart Home 7(4), 161–173 (2013)
Chislov, O.N., Mamaev, E.A., Guda, A.N., Zubkov, V.N., Finochenko, V.A.: Algorythmic and software support of efficient design of railway transport technological systems. Int. J. Appl. Eng. Res. 23(11), 11428–11438 (2016)
Ilyicheva, O.A.: Means of effective preliminary treatment of errors for systems of logic prototyping. Autom. Remote Control 9, 185–196 (1997)
Chislov, O.N., Bogachyov, V.A., Zadorozgnii, V.M., Bogachyov, T.V.: Distribution of traffic volumes of operation company in port hubs by method of economic and geographical differentiation. News Petersburg State Transport Univ. 3(48), 302–313 (2016)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Guda, A.N., Ilicheva, V.V., Chislov, O.N. (2018). Executable Logic Prototypes of Systems Engineering Complexes and Processes on Railway Transport. In: Abraham, A., Kovalev, S., Tarassov, V., Snasel, V., Vasileva, M., Sukhanov, A. (eds) Proceedings of the Second International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’17). IITI 2017. Advances in Intelligent Systems and Computing, vol 680. Springer, Cham. https://doi.org/10.1007/978-3-319-68324-9_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-68324-9_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-68323-2
Online ISBN: 978-3-319-68324-9
eBook Packages: EngineeringEngineering (R0)