A New Approach in Material Modeling Towards Shear Cutting of Carbon Fiber Reinforced Plastics

In this paper, a new approach in material modeling related to shear cutting of carbon fiber reinforced plastics (CFRP) is introduced. The aim is to formulate a phenomenological model accounting for the inner (micromechanical) processes which influence the cutting behavior and the quality of the cutting surface. This is required to make shear cutting of CFRP suitable for mass production like car manufacturing in terms of reduction of processing costs

Design decision support for the conceptual phase of the design process

Design is a complex process that depends very much on the information about the design task to perform. At the early design stages, usually only conceptual sketches and schematics are available, often rough and incomplete. Still at the early stages of design the most important decisions have to be taken. This leads to an information contradiction: almost no information s available and yet most of the decisions have to be taken. Integral design is meant to overcome this problem of lacking information at the start of the design process by providing methods to communicate the consequences of design steps across the different disciplines involved in the design process. The Integral Design Methodology, based on the Methodical Design approach, is meant to support all disciplines in the design process with information about the tasks and the decisions of the other design disciplines involved in the design process. Supplying and exchanging explanations about the decisions taken during the design process will improve understanding of the combined efforts by all the designer parties. In particular the use of the morphological overviews combined with the Kesselring method as a decision support tool will help to structure the early conceptual steps within the design process and make decisions taken during the design process more transparent for all the people involved. This method is used in 2 workshops and in different MSc theses at the Technische Universiteit Eindhoven and shows promising results

Model-based security verification for evolving systems

Security certification of complex systems requires a high amount of effort. As a particular challenge, today's systems are increasingly long-living and subject to continuous change. After each change of some part of the system, the whole system needs to be re-certified from scratch (since security properties are not in general modular), which is usually far too much effort. We present a tool-supported approach for security certification that minimizes the amount of effort necessary in the case of re-certification after change. It is based on an approach for model-based development of secure software which makes use of the security extension UMLsec of the Unified Modeling Language (UML). It allows the user to integrate security requirements such as secure information flow and audit security into a system design model, it supported by a security verification tool chain, and has been applied to a number of industrial applications