Applying model checking to industrial-sized PLC programs
Graph Chatbot
Chat with Graph Search
Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
The IEC 61346 standard establishes general principles for structuring the information of technical systems. This paper discusses the ideas shown in the Standard emphasizing the fact that some parts of it are ambiguous and can lead to different interpretati ...
An equation solver data reconciliation software has been used to build a validated model of a waste paper deinking plant, by combining control rooms measurements and design specifications. An optimal sensor system configuration that allows validating key p ...
From a sustainable development perspective, the newly developed automatic controllers for building services are very promising in that they increase energy efficiency and reduce commissioning and maintenance costs. But a major problem has appeared as the a ...
The functional complexity of hardware and software systems is growing exponentially. This demands an integration of system validation in the design phase to guarantee that a concrete implementation conforms to the modeled requirements. System validation pr ...
This thesis presents the structural organization, theoretical foundations and basic application principles of Triune Continuum Paradigm, an original paradigm applicable to object-oriented modeling. The paradigm defines a metamodeling structure efficient in ...
This thesis presents the structural organization, theoretical foundations and basic application principles of Triune Continuum Paradigm, an original paradigm applicable to object-oriented modeling. The paradigm defines a metamodeling structure efficient in ...
Nowadays models, rather than code, become the key artifacts of software development. Consequently, this raises the level of requirements for modeling languages on which modeling practitioners should rely in their work. A minor inconsistency of a modeling l ...
The development of business and information systems requires a significant amount of modeling. The current modeling languages and tools have difficulties supporting the modeling of systems spanning through multiple organizational levels. The use of inadequ ...
An equation solver data reconciliation software has been used to build a validated model of a waste paper deinking mill, by combining control room measurements and process design specifications. An optimal sampling protocol to validate the model by using o ...
The context of this paper is Enterprise Architecture (EA). EA is a multi-disciplinary approach that allows dierent specialists to design new business and IT systems and focuses on the integration of these systems. Our group develops a specic EA method that ...
