Authors:
            
                    Erika Asnina
                    
                        
                    
                    ; 
                
                    Janis Osis
                    
                        
                    
                     and
                
                    Asnate Jansone
                    
                        
                    
                    
                
        
        
            Affiliation:
            
                    
                        
                    
                    Riga Technical University, Latvia
                
        
        
        
        
        
             Keyword(s):
            System Thinking, Analytical Models, System Analysis and Design, Topological Functioning Model.
        
        
            
                
                
            
        
        
            
                Abstract: 
                A gap between two domains, the system and its supporting software, is a well-known issue in software development. The analysis of the system is often considered as a redundant unwanted activity. However, software development driven by models will not be able to close the gap, if these models focus only on software and ignore the system, since software is a subsystem that helps to conduct some system’s activities. Thus, the system must be accurately analyzed before the software. For this purpose, this paper suggests a formal engineering model, Topological Functioning Model, and analysis of system functioning based on the system theory, algebraic topology, and classical logic.