Behavioral Types for Embedded Software - A Survey

At present, there is a variety of formalisms for modeling and analyzing the communication behavior of components. Due to a tremendous increase in size and complexity of embedded systems accompanied by shorter time to market cycles and cost reduction, so called behavioral type systems become more and more important. This chapter presents an overview and a taxonomy of behavioral types. The intentions of this taxonomy are to provide a guidance for software engineers and to form the basis for future research.

Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

The new craft skills of engineering: The impact of innovation technology on engineering practices

This chapter explores the impact of innovation technologies such as simulation, modelling, and rapid prototyping on engineering practice. Innovation technologies help redefine the role of engineers in the innovation process, creating a new division of innovative labour both with and across organizations. This chapter also explores the boundaries of experimentation and inertia within particular domains of problem-solving to create new opportunities and value.

Globalisation and the technology gap: Regional and time evidence

This chapter examines the relationship between globalisation and technological progress. It computes an annual and country specific measure of technological gap, the technology ratio (TGR), using a recently proposed method known as metafrontiers. The TGR is measured as the distance from a group frontier to the global (or meta) frontier. The TGRs provide a measure to compare technological capability across countries. The ranking obtained from the metafrontiers method is first compared to other methods based on the direct measure of patents, science articles, schooling etc. The TGRs are then related to levels of trade openness and inbound and outbound foreign direct investment within regions and overtime in an effort to identify the relationship between technological gap and outward orientation.