Entity

Time filter

Source Type


Chapurlat V.,Lgi2P Laboratoire Of Genie Informatique Et Dingenierie Of Production
Computers in Industry | Year: 2013

Systems Engineering (SE) is an approach for designing complex systems. It is now standardized, applied succesfully and recognized in industry. It is intrinsically a model based approach i.e. it promotes a set of modeling languages, reference models, methods, techniques, and processes allowing to guide and organize the designers work. Particularly, verification process is one of the main standardized processes. It helps the engineering team to detect errors or mistakes, to check solutions, to assume traceability of proof to the different stakeholders, and finally to help to argue and to assume the quality and relevance of the proposed solutions. The engineering team involved in a SE project is provided with various verification techniques and tools e.g. simulation, test, expertise, data analysis, traceabilty matrix, etc. However, the formal techniques used in other domains e.g. in software, automation or in mechanical engineering, remain not really considered to be an advantage in SE for many reasons which are first presented and analyzed in this paper. Second, it presents and illustrates the different components of a formal verification framework called UPSL-SE (Unified Properties Specification Language for Systems Engineering). This framework is based on a set of concepts, proposes verification techniques and is implemented in a platform allowing to complete the current verification toolbox. © 2013 Elsevier B.V. Source


Chapurlat V.,Lgi2P Laboratoire Of Genie Informatique Et Dingenierie Of Production | Daclin N.,Lgi2P Laboratoire Of Genie Informatique Et Dingenierie Of Production
IFAC Proceedings Volumes (IFAC-PapersOnline) | Year: 2012

System interoperability is an essential feature of any system to be able to interact with other systems during its mission without any problem or anticipating these ones and their effects when necessary. However, Systems Engineering (SE) approach does not clearly takes into account this feature. First, there is no clear definition of system interoperability requirement in SE. Second, there is no relevant interface model in SE with which engineers can model and check system interoperability requirements. This article aims first to define the system interoperability concept. Second it defines and formalizes the notion of interoperability requirement allowing then to enrich the classical requirements repository used in SE domain. Third, it promotes an interface meta model allowing engineers to build and to check interfaces taking into account interoperability requirements in coherence with MBSE hypotheses. © 2012 IFAC. Source


Mallek S.,Lgi2P Laboratoire Of Genie Informatique Et Dingenierie Of Production | Daclin N.,Lgi2P Laboratoire Of Genie Informatique Et Dingenierie Of Production | Chapurlat V.,Lgi2P Laboratoire Of Genie Informatique Et Dingenierie Of Production
Lecture Notes in Business Information Processing | Year: 2011

Enterprises are today involved in collaborative processes with other partners sharing common economical interests in confidence. This allows these enterprises to focus on their core business, to optimize, and to be effective to respond to customers' needs. Implicitly, a partner that wishes to become involved in a partnership must demonstrate numerous qualities and enable to gain the confidence of other partners. Among other ones, demonstrate its ability to be interoperable is a major issue. This research work aims to define, to formalize and to analyze a set of interoperability requirements that each partner of a collaborative process have to satisfy prior to any collaboration. This paper focuses and illustrates how interoperability requirements related to the static and dynamic aspects of the collaboration may be formalized and verified by the use of a formal verification technique. © 2011 IFIP International Federation for Information Processing. Source


Mallek S.,Lgi2P Laboratoire Of Genie Informatique Et Dingenierie Of Production | Daclin N.,Lgi2P Laboratoire Of Genie Informatique Et Dingenierie Of Production | Chapurlat V.,Lgi2P Laboratoire Of Genie Informatique Et Dingenierie Of Production
Computers in Industry | Year: 2012

Interoperability is becoming a crucial issue for industry, and a lack of interoperability can be seen as an important barrier to collaborative work, in both public (inter-enterprise) and private (intra-enterprise) collaborative processes. Indeed, interoperability is generally defined as the ability of enterprises to interact within a collaborative process. Prior to any effective collaboration, it is necessary to inform enterprises, which aim to work together, whether or not they would be able to interoperate. Research on interoperability has shown the benefits of measuring and evaluating interoperability, by using several frameworks and maturity models. However, approaches for detecting and anticipating interoperability problems do not seem to exist. Our research proposes to use formal verification techniques to detect different types of interoperability problems. On the one hand, this means being able to define the particular interoperability needs to be considered. On the other hand, it requires these needs to be formalized as a set of unambiguous and, as formally stated as possible, requirements. Moreover, interoperability requirements can have temporal or a-temporal features. To detect interoperability problems in anticipative way, interoperability requirements must be checked by means of a target process model. Three complementary verification techniques are used to verify interoperability requirements in a collaborative process model. The verification technique used depends on the aspect and the level of abstraction of the requirement to be verified. This paper focuses and illustrates the detection of interoperability problems using verification techniques. © 2012 Elsevier B.V. Source

Discover hidden collaborations