Transatlantic Engineering Programs: an Experience in International Cooperation

Non

Automatically Generated CSP Specifications

Two possibilities of automated CSP (Communicating Sequential Processes) support are introduced in [11] and [10] using either behavioral diagrams or application source code. While in the first approach a tool generates CSP specification from behavioral diagrams, based on UML Composite States diagram, in the second approach an application source code is translated directly into CSP specification using a compiler. This paper reviews tools related to both techniques

Formal Specification of Computer-Based Systems

Formal Specification of Computer-Based System

Formal Specifications of Computer-Based Systems - J.UCS Special Issue

Formal Specifications of Computer-Based Systems - J.UCS Special Issu

Engineering of computer based-systems enhancement courses-proposed course outlines

Many modern systems are controlled by ComputerBased Systems (CBS). Examples include commercial management information systems such as airline reservations, payroll information, stock control, and electronic banking systems, real-time embedded computer systems such as process control and computer integrated manufacturing systems, space systems, telephone and communications systems, transportation systems (automotive control, train control, ship control, traffic control), medical instruments, avionics systems, missile control systems, microcomputer controlled domestic appliances and point of sale systems. The CBS controlling these systems, typically consist of many networked, geographically distributed subsystems. Each subsystem may be or may contain a multi-computer system. They are intensively dependent on software, and frequently depend on data communication networks, human-computer interaction, and special hardware. Engineers developing such systems have to work with CBS engineers re..

Chapitre 4 : Credits and accreditation in the U.S.A. and Europe: towards a framework for transnational engineering degrees

14 pagesDeveloping international or multi-national programs is a critical and challenging issue for the future of engineering education. The purpose of such programs is both to encourage mobility of students in an inter-cultural multi-linguistic perspective, and the recognition of degrees and programs in a wider perspective than the national one in order to encourage the mobility of workers. For about twenty years, the European Commission, through several programs, in particular ERASMUS programmes, has implemented some tools, which are a first stage in this direction (e.g., ECTS and European Qualification Framework project). In order to put the reflection at a broader level, this chapter is the result of an Atlantis U.S.-European project aiming at giving some directions in order to set a U.S.-European degree in Real-Time Software Engineering. This chapter provides information and analysis of academic credit and program assessment and accreditation which will assist in the development of transatlantic engineering programs

A Common US-Europe Curriculum: An Approach for Real-Time Software Intensive Systems

10 pagesInternational audienceWith the increasing importance and demand for efficient development of high quality Real-Time Software-Intensive Control systems (RSIC), the education of modern engineers it is critical. RSIC systems need to meet stringent safety and reliability requirements and often are developed by companies operating across national boundaries. This paper describes an approach and preliminary results of research leading to establishment of a framework for creation of multinational, engineering programs, which will produce graduates capable of working efficiently in multidisciplinary teams engaged in international collaboration on industrial RSIC projects. The emphasis is on projects which require conformance to specific national and international standards mandated by regulatory authorities. A key element of the framework is the identification of appropriate educational objectives and outcomes for the program based on industry surveys and the analysis of accreditation criteria. The proposed RSIC curriculum model is designed to be used by engineering schools, both in the USA and the EU. This model will address the nations' needs for researchers and developers of real-time safety-critical systems who are capable of engaging in projects spanning the nations' boundaries and promoting a studentcentered, transatlantic dimension to higher education and training