A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit

A discrete control system, with stringent hardware constraints, is effectively an embedded real-time system and hence requires a rigorous methodology to develop the software involved. The development methodology proposed in this paper adapts agile principles and patterns to support the building of embedded control systems, focusing on the issues relating to a system's constraints and safety. Strong unit testing, to ensure correctness, including the satisfaction of timing constraints, is the foundation of the proposed methodology. A platform-based design approach is used to balance costs and time-to-market in relation to performance and functionality constraints. It is concluded that the proposed methodology significantly reduces design time and costs, as well as leading to better software modularity and reliability

Shape computations without compositions

Parametric CAD supports design explorations through generative methods which compose and transform geometric elements. This paper argues that elementary shape computations do not always correspond to valid compositional shape structures. In many design cases generative rules correspond to compositional structures, but for relatively simple shapes and rules it is not always possible to assign a corresponding compositional structure of parts which account for all operations of the computation. This problem is brought into strong relief when design processes generate multiple compositions according to purpose, such as product structure, assembly, manufacture, etc. Is it possible to specify shape computations which generate just these compositions of parts or are there additional emergent shapes and features? In parallel, combining two compositions would require the associated combined computations to yield a valid composition. Simple examples are presented which throw light on the issues in integrating different product descriptions (i.e. compositions) within parametric CAD

Automatic allocation of safety requirements to components of a software product line

Safety critical systems developed as part of a product line must still comply with safety standards. Standards use the concept of Safety Integrity Levels (SILs) to drive the assignment of system safety requirements to components of a system under design. However, for a Software Product Line (SPL), the safety requirements that need to be allocated to a component may vary in different products. Variation in design can indeed change the possible hazards incurred in each product, their causes, and can alter the safety requirements placed on individual components in different SPL products. Establishing common SILs for components of a large scale SPL by considering all possible usage scenarios, is desirable for economies of scale, but it also poses challenges to the safety engineering process. In this paper, we propose a method for automatic allocation of SILs to components of a product line. The approach is applied to a Hybrid Braking System SPL design

Spaces with torsion from embedding and the special role of autoparallel trajectories

As a contribution to the ongoing discussion of trajectories of spinless particles in spaces with torsion we show that the geometry of such spaces can be induced by embedding their curves in a euclidean space without torsion. Technically speaking, we define the tangent (velocity) space of the embedded space imposing non-holonomic constraints upon the tangent space of the embedding space. Parallel transport in the embedded space is determined as an induced parallel transport on the surface of constraints. Gauss' principle of least constraint is used to show that autoparallels realize a constrained motion that has a minimal deviation from the free, unconstrained motion, this being a mathematical expression of the principle of inertia.Comment: LaTeX file in src, no figures. Author Information under http://www.physik.fu-berlin.de/~kleinert/institution.html . Paper also at http://www.physik.fu-berlin.de/~kleinert/kleiner_re259/preprint.htm

Ways of Applying Artificial Intelligence in Software Engineering

As Artificial Intelligence (AI) techniques have become more powerful and easier to use they are increasingly deployed as key components of modern software systems. While this enables new functionality and often allows better adaptation to user needs it also creates additional problems for software engineers and exposes companies to new risks. Some work has been done to better understand the interaction between Software Engineering and AI but we lack methods to classify ways of applying AI in software systems and to analyse and understand the risks this poses. Only by doing so can we devise tools and solutions to help mitigate them. This paper presents the AI in SE Application Levels (AI-SEAL) taxonomy that categorises applications according to their point of AI application, the type of AI technology used and the automation level allowed. We show the usefulness of this taxonomy by classifying 15 papers from previous editions of the RAISE workshop. Results show that the taxonomy allows classification of distinct AI applications and provides insights concerning the risks associated with them. We argue that this will be important for companies in deciding how to apply AI in their software applications and to create strategies for its use

Standardization Framework for Sustainability from Circular Economy 4.0

The circular economy (CE) is widely known as a way to implement and achieve sustainability, mainly due to its contribution towards the separation of biological and technical nutrients under cyclic industrial metabolism. The incorporation of the principles of the CE in the links of the value chain of the various sectors of the economy strives to ensure circularity, safety, and efficiency. The framework proposed is aligned with the goals of the 2030 Agenda for Sustainable Development regarding the orientation towards the mitigation and regeneration of the metabolic rift by considering a double perspective. Firstly, it strives to conceptualize the CE as a paradigm of sustainability. Its principles are established, and its techniques and tools are organized into two frameworks oriented towards causes (cradle to cradle) and effects (life cycle assessment), and these are structured under the three pillars of sustainability, for their projection within the proposed framework. Secondly, a framework is established to facilitate the implementation of the CE with the use of standards, which constitute the requirements, tools, and indicators to control each life cycle phase, and of key enabling technologies (KETs) that add circular value 4.0 to the socio-ecological transition