Génie logiciel | EPFL Graph Search

Le génie logiciel, l'ingénierie logicielle ou l'ingénierie du logiciel (en software engineering) est une science de génie industriel qui étudie les méthodes de travail et les bonnes pratiques des ingénieurs qui développent des logiciels. Le génie logiciel s'intéresse en particulier aux procédures systématiques qui permettent d'arriver à ce que des logiciels de grande taille correspondent aux attentes du client, soient fiables, aient un coût d'entretien réduit et de bonnes performances tout en respectant les délais et les coûts de construction. Définitions Selon l'arrêté ministériel du relatif à l'enrichissement du vocabulaire de l'informatique [Journal officiel du ], le génie logiciel est « l'ensemble des activités de conception et de mise en œuvre des produits et des procédures tendant à rationaliser la production du logiciel et son suivi ». Est aussi appelée génie logiciel l'ingénierie appliquée au logiciel informatique, c'est-à-dire l'activité par laquelle

Supporting Loop Proofs in KeY by using BLAST

Mathias Krebs

In contrast to beta-testing, formal verification can guarantee correctness of a program against a specification. Two basic verification techniques are theorem proving and model checking. Both have strengths and weaknesses. Theorem proving is powerful, but difficult to use for a software engineer. Model checking is fully automatic, but less powerful and hard to extend. This paper shows a possibility, how to combine both approaches, in order to surround the weaknesses. Concretely, we automatize the proof of while loops in the theorem prover KeY, by using the model checker BLAST.

2006

A Digital Platform connecting Academia and Small Businesses: An opportunity for Knowledge Management Experiments

Quentin Adrien Cavillier

Digital transformation is one of the biggest phenomena of this decade. One enabler of this revolution was cloud computing. Today, software engineers can deliver software as a service (SaaS), which is accessible to users through the Internet. Slack, Shopify, and Dropbox are examples of successful SaaS. We are experiencing an emergence of numerous small web applications with easy-to-use features for specific domains such as project management, accounting, resources management, customer relationships, and so forth. Thus, SaaS has been recognised as particularly well suited for the digital journey of small enterprises. However, surveys conducted by governmental agencies reveal a low adoption rate of SaaS by small enterprises in traditional sectors such as construction, services, and dealership. Previous studies have highlighted a lack of top management support, a weak relative advantage perceived, and a lack of knowledge as the key reasons for this low level of adoption. Whilst academic research defines these critical factors, it has not found potential solutions to mitigate them. Thus, this thesis presents two exploratory studies to enhance the adoption of digital practices by small traditional enterprises (STEs). A first study explored the value of leading collaborative projects between students and STEs about the assessment of SaaS solutions. A secondary objective of this initiative was the design of a platform acting as an open innovation platform. A three-year study allowed the completion of thirty-nine projects and the testing of two different platform designs. The feedback from students demonstrated the value of a well-structured platform composed of different management models for each project phase. Furthermore, 67 per cent of the STEs involved on the platform acknowledged the value of such collaborative projects. However, the collaborations did not improve top management support, and projects tended to stagnate because of various organisational factors. A second study, using a mixed-methods research design, was performed to explore the relations amongst the organisational factors acting as enablers and barriers to the digitalisation of STEs. The objective was to improve understanding of TSEs' situation and devise a proposition to enhance top management support. An academic contribution of this study was the design and application of a conceptual framework combining organisational factors from the literature on dynamic capabilities, organisational inertia, and intellectual capital. The combination of the qualitative observations and quantitative results highlighted the importance of the sensing and leadership capabilities for STE directors. They also revealed the mediator effect of the relational capability on the development of these latter. Therefore, this thesis makes important contributions to the literature on open innovation by defining a new field for leading knowledge management experiments. It also contributes to develop a comprehensive overview of the organisational factors affecting STEs' adoption. A further major contribution is the potential value of the digital platform to innovate the services of practitioners, such as governmental agencies and consultants, that support STEs on their digital transformation journey. In conclusion, this research is valuable in opening the discussion about potential innovations that might reshape the relationship academia-business.

EPFL2019

Object-oriented approach for dynamic system modelling and simulation

Adel Besrour

Software engineering always cares to provide solutions for building applications as close as possible to what they should be, according to the requirements and the final users needs. Systems behavior simulation is a very common application to virtually reproduce and often predict the real-world behavior. Simulation is one of the most operational research tool in a large variety of engineering and scientific domains: Transport, telecommunication, medicine, chemical processes, physics, etc. The complexity of such application is relative to the increasing complexity of the systems. In this context, it is relevant to bring together different tools and formalisms such as markovian chain, Petri nets, etc., to improve the existent approaches and so to answer the simulations performances needs. The principle objective of this thesis is to bring together techniques from software engineering and safety engineering in order to improve the state of the art of modeling and simulation of dynamic systems in the industrial context. In addressing this objective, this work initially involves defining the essential limitations of the used formalisms, methods and tools regarding from one hand the software engineering modeling and simulation techniques and from the other hand the existent risk analysis methodologies. This work is conducted with respect to the problem of danger identification, considering the context of the complex systems behavior and their interaction with the human operator. In software engineering, it is well known that Petri/high-level nets have attractive characteristics to be used in systems simulation and behavior prediction such as the natural graphical representation, and their well-defined semantic. They are well-suited for the description of complex situations with concurrency (interleaving and true concurrency depending on the underlying semantics), conflict and confusion. However, the absence of structuring capabilities has been one of the main criticisms raised against Petri nets/high-level nets. Thus, there have been many attempts to introduce structuring principles in nets of this kind [BCM88] [Kie89] [JR91]. The attractive characteristics of Petri/high-level nets have prompted researchers to enrich these formalisms with object-oriented features. CO-OPN (Concurrent Object-Oriented Petri Net) approach, brings together the power of both Petri/high-level nets and object-orientation techniques, it has been devised so as to offer an adequate framework for the specification and design of large scale concurrent system [BG91]. CO-OPN, as a powerful modeling tool, has been used in a limited way to simulate systems. This work aims to provide a CO-OPN extension to allow a more realistic systems' simulation. Actually, its simulator semantic uses to be a suitable approach for modeling near closed systems and software components, because they need to loose coupling with external world. But, when we model more realistic problems like industrial processes, where human interaction is a relevant event, this approach is not sufficient to catch all system activity attributes. Moreover, the CO-OPN interpretation process does not allow interaction with the object internal states. This work provides a new solution to overcome CO-OPN simulation limitations and a set of prototypes to assist dynamic systems simulations. Furthermore, this work has been conducted in a Risk Analysis (RA) context, a domain where computer-based simulations research are of utmost interest. Actually, classical approaches used to address complex workplace hazard in a limited way, using checklists or sequence models. Moreover, the use of single oriented methods, such as AEA (man-oriented), FMEA (machine oriented) or HAZOP (process oriented), is not satisfactory to overcome the increasing sophistication of industrial processes. The automation of a part of the analysis process as well as the multiple-oriented approach allowed by dynamic modeling may indeed enhance significantly the analysis completeness and reduce the time analyzing time. This work, based on Object Oriented Petri net formalism (CO-OPN), propose an alternative multi-oriented approach where existent methods limitations have been criticized to develop a dynamic model, MORM (Man-machine Occupational Risk Modeling). A real industrial system (metal wire making process) has been specified to implement the different approach steps (system identification, model application, system simulation, system analysis).

EPFL2005