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.

Regional investment strategies (RIS) and coastal catchment initiative (CCI) project alignmnet to Great Barrier Reef Water Quality Protection Plan

The Great Barrier Reef Water Quality Protection Plan (the Reef Plan) is a joint initiative of the Australian and Queensland Governments. The Reef Plan aims to progress an integrated approach to natural resource management planning by building on the existing partnerships between the different levels of government, industry groups, the community and research providers within the Reef catchments, principally through partnerships with the regional natural resource management (NRM) bodies.