This four-year Excellence in Mobility (EIM) project is proposed by a consortium of three American... more This four-year Excellence in Mobility (EIM) project is proposed by a consortium of three American and three European university partners. The project proposes mobility exchange of students pursuing graduate (Master level) engineering degrees in the areas supported by the consortium partners. The plan is to implement a mechanism for involving students from multilingual, geographically separated institutions in a coordinated educational and research experience exposing them to the problems, methods, solution techniques, infrastructure, technologies, regulatory issues, and design/verification tools usually not available in their home program. Four of the six consortium partners are currently participating in successful two-year Policy Oriented Measures project: ILERT - International Learning Environment for Real-Time Software Intensive Control Systems (http://www.ilert.agh.edu.pl/) funded in 2006 in the framework of the EU-US cooperation Atlantis program. The preliminary analysis of th...
(2) NBIP (Nine-Bit Interprocessor Protocol), which is an example of a special purpose link-layer ... more (2) NBIP (Nine-Bit Interprocessor Protocol), which is an example of a special purpose link-layer protocol for microcontrollers; and Bitbus, which is an example of well-established fieldbus utilized for almost 20 years in various applications. The paper begins with classification issues; particularly, coupling architectures are treated both from the viewpoint of more classical interconnections of wide-area and local-area networks, and from the viewpoint of fieldbus domain. Next part introduces the ASI and NBIP protocols while the wellknown Bitbus is reviewed in applications. To offer more complex insight, implementation tools --developed particularly to support low-level fieldbus interconnecting experiments --are also mentioned. Four case studies demonstrating consequently NBIP-ASI, ASI-ASI, and two different Bitbus-NBIP hierarchical coupling structures create the kernel of the paper. Finally, brief notes about origins, results, and current targets of the project conclude the contribution.
Proceedings of the 16th IFAC World Congress, 2005, 2005
The paper presents an approach to formal specification, verification and prototyping of network a... more The paper presents an approach to formal specification, verification and prototyping of network applications ranging from large information systems down to small components embedded e.g. in mobile devices. Main attention focuses both on architectural and behavioral specifications of either reactive or real-time activities utilizing either structured or object-oriented approach depending on application requirements. This contribution discusses in more detail executable specifications and rapid prototyping for structured design and structural specifications and verifications for object-oriented design. The paper presents two original tools developed for that purpose: (i) Asynchronous Specification Language and (ii) Class Specification Language.
Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2002
This paper presents an application of networked sensors that offers a design pattern for a class ... more This paper presents an application of networked sensors that offers a design pattern for a class of sensor-based embedded systems. It deals with an integrated framework based on smart transducer interface standard (IEEE 1451), on messaging architecture (Compaq-Intel-Microsoft's Virtual Interface Architecture), and on IP multicast communication, mediating an efficient and unified access from Internet to sensor-based embedded systems and vice
ISA/IEEE Sensors for Industry Conference, 2004. Proceedings the, 2004
The pressure transducer for precise and reliable pressure measurement is described. Its aim was t... more The pressure transducer for precise and reliable pressure measurement is described. Its aim was to reach better pressure ranges with lower price. The ceramic diaphragm for pressure sensing is applied and a new principle of special ASIC with multiplexed frequency transmitter for conditioning of fX and fR frequencies controlled by CX and CR sensor capacitances is exploit. Good protection against the moist and dusty ambient air and surrounding electromagnetic parasitic fields is achieved. The new pressure transducer is typically prepared for paper industry, chemical industry, medicine appliances and pharmacy: designed to 0... 10 kPa up to 0... 6 MPa pressure ranges, accuracy according to IEC 60770 0,5% FSO (BFSL: 0,25% FSO. Its ceramic sensor features high resistance against aggressive medias (e.g. acids and lye) due to its ceramic surface directly in contact with the media. The embedded microcontroller covers the IEEE 1451 functionality.
This paper presents an approach to industrial sensor ne tworking that offers a reusable design pa... more This paper presents an approach to industrial sensor ne tworking that offers a reusable design pattern for a class of sensor-based applications. It deals with an inte grated, sensor networking framework stemming from the IEEE 1451 smart transducer interface standard, an object-based networking model, complemented by publish-subscribe paradigm, a pattern communication approach to group messaging, and by the Internet Protocol
The pressure transducer was researched to reach the IEEE 1451 functionality, better pressure rang... more The pressure transducer was researched to reach the IEEE 1451 functionality, better pressure ranges and lower price. It is typically prepared for paper and chemical industry, medicine appliances and pharmacy: designed to 0 ... 10 kPa up to 0 ... 6 MPa pressure ranges, accuracy according to IEC 60770 0.5% FSO. The ceramic diaphragm for pressure sensing is applied and
ISA/IEEE Sensors for Industry Conference, 2004. Proceedings the, 2004
Page 1. SlcodO4 - Sensas for Industry Conference New Orleans, Louisiana, USA, 27-29 January 2004 ... more Page 1. SlcodO4 - Sensas for Industry Conference New Orleans, Louisiana, USA, 27-29 January 2004 Sensor Analysis of Liquid Pollution Jiri Haze', Jan Krejc?, Radimir Vrba', Miroslav Sveda' 'Bmo University of Technology, Bmo ...
This paper deals with a formal specification approach that supports the design of small, real-tim... more This paper deals with a formal specification approach that supports the design of small, real-time embedded applications with distributed architectures. After discussing the notion of local time and its role in computer science and software engineering, the next section of the paper reviews an original specification language dedicated to local-time concepts. The next contribution consists in treating a real world,
The European Commission and the US Department of Education FIPSE Program have funded ATLANTIS ini... more The European Commission and the US Department of Education FIPSE Program have funded ATLANTIS initiative to promote collaboration in the higher education between European and American universities. The goal of the project was to create a new collaborative multinational model for interdisciplinary education in real-time software engineering. The project had not only created a framework for introducing new components to engineering programs but also had proposed a methodology for development of multinational, multidisciplinary engineering program. The purpose of this paper is to summarize the experience gained with this international project.
The European Commission and the US Department of Education have funded ATLANTIS initiative to pro... more The European Commission and the US Department of Education have funded ATLANTIS initiative to promote collaboration in the higher education between European and American universities. In this paper, the authors present a brief description of one of the funded projects. The goal of the project is to create a new collaborative multinational model for interdisciplinary education in real-time software engineering. The proposed study will lead to creation of an international curriculum framework focusing on important aspects of this multidisciplinary computer/system/control/software engineering education.
Rapid progress of computing technologies is the major reason that the programs like electronics, ... more Rapid progress of computing technologies is the major reason that the programs like electronics, computer and software engineering, robotics and control engineering need continuous updates. This paper is related to the development of an international curriculum in real-time software engineering. It focuses on identification of skills, attitude and knowledge the students need to acquire to become efficient engineers working in the field. To facilitate this objective, a survey administered to industry representatives in four countries is described and its results are discussed.
This paper addresses the problem of educating software engineering professionals who can efficien... more This paper addresses the problem of educating software engineering professionals who can efficiently and effectively develop real-time software intensive control systems in the global community. A framework for developing curricula that support such education is presented. The curriculum framework is based on the work of two education projects: the ILERT (international learning environment for real-time software intensive control system) project, and the software engineering efforts of the ACM/IEEE-CS joint task force on computing curricula. The authors describe a curriculum framework that integrates principles, content, and organization from the two projects, and which satisfies the intent and requirement of both projects.
This paper provides an overview and a comparison of several international projects which focus on... more This paper provides an overview and a comparison of several international projects which focus on research and development of international computing curricula. The projects address computer based systems in general and more specifically the area of real-time software intensive control systems. Issues related to the analysis, design, implementation and assessment of such curricula are discussed. The paper also deals with the exchange of students and faculty between international academic institutions.
This paper provides an overview and a comparison of two educational projects which focus on resea... more This paper provides an overview and a comparison of two educational projects which focus on research and development of international computing curricula. The projects address the area of real-time software intensive control systems where the demand for highly educated and responsible engineers is highly evident. Issues related to the analysis, design, implementation and assessment of such curricula are discussed. The paper also deals with the exchange of students and faculty between international academic institutions, which is the major key to accomplish a truly globalized form of education that may face the new industrial demands.
Due to heavily software-centric nature of modern reactive and time-critical systems, there is an ... more Due to heavily software-centric nature of modern reactive and time-critical systems, there is an increasing demand for efficient development of high quality Real-Time Software-Intensive Control systems (RSIC). The study discussed in this paper is focused on the creation of international curriculum framework centered on RSICthis important aspect of the computer-system-control-software engineering education. The study explores the mechanism for involving students from multilingual geographically separated institutions in a coordinated educational experience. It exposes them to the problems, methods, solution techniques, infrastructure, technologies, regulatory issues, and tools in the domain of dependable real-time safety-critical software-intensive control systems. The ultimate objective is the creation of a model RSIC curriculum, which can be used by engineering schools both in the USA and the EU.
This four-year Excellence in Mobility (EIM) project is proposed by a consortium of three American... more This four-year Excellence in Mobility (EIM) project is proposed by a consortium of three American and three European university partners. The project proposes mobility exchange of students pursuing graduate (Master level) engineering degrees in the areas supported by the consortium partners. The plan is to implement a mechanism for involving students from multilingual, geographically separated institutions in a coordinated educational and research experience exposing them to the problems, methods, solution techniques, infrastructure, technologies, regulatory issues, and design/verification tools usually not available in their home program. Four of the six consortium partners are currently participating in successful two-year Policy Oriented Measures project: ILERT - International Learning Environment for Real-Time Software Intensive Control Systems (http://www.ilert.agh.edu.pl/) funded in 2006 in the framework of the EU-US cooperation Atlantis program. The preliminary analysis of th...
(2) NBIP (Nine-Bit Interprocessor Protocol), which is an example of a special purpose link-layer ... more (2) NBIP (Nine-Bit Interprocessor Protocol), which is an example of a special purpose link-layer protocol for microcontrollers; and Bitbus, which is an example of well-established fieldbus utilized for almost 20 years in various applications. The paper begins with classification issues; particularly, coupling architectures are treated both from the viewpoint of more classical interconnections of wide-area and local-area networks, and from the viewpoint of fieldbus domain. Next part introduces the ASI and NBIP protocols while the wellknown Bitbus is reviewed in applications. To offer more complex insight, implementation tools --developed particularly to support low-level fieldbus interconnecting experiments --are also mentioned. Four case studies demonstrating consequently NBIP-ASI, ASI-ASI, and two different Bitbus-NBIP hierarchical coupling structures create the kernel of the paper. Finally, brief notes about origins, results, and current targets of the project conclude the contribution.
Proceedings of the 16th IFAC World Congress, 2005, 2005
The paper presents an approach to formal specification, verification and prototyping of network a... more The paper presents an approach to formal specification, verification and prototyping of network applications ranging from large information systems down to small components embedded e.g. in mobile devices. Main attention focuses both on architectural and behavioral specifications of either reactive or real-time activities utilizing either structured or object-oriented approach depending on application requirements. This contribution discusses in more detail executable specifications and rapid prototyping for structured design and structural specifications and verifications for object-oriented design. The paper presents two original tools developed for that purpose: (i) Asynchronous Specification Language and (ii) Class Specification Language.
Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2002
This paper presents an application of networked sensors that offers a design pattern for a class ... more This paper presents an application of networked sensors that offers a design pattern for a class of sensor-based embedded systems. It deals with an integrated framework based on smart transducer interface standard (IEEE 1451), on messaging architecture (Compaq-Intel-Microsoft's Virtual Interface Architecture), and on IP multicast communication, mediating an efficient and unified access from Internet to sensor-based embedded systems and vice
ISA/IEEE Sensors for Industry Conference, 2004. Proceedings the, 2004
The pressure transducer for precise and reliable pressure measurement is described. Its aim was t... more The pressure transducer for precise and reliable pressure measurement is described. Its aim was to reach better pressure ranges with lower price. The ceramic diaphragm for pressure sensing is applied and a new principle of special ASIC with multiplexed frequency transmitter for conditioning of fX and fR frequencies controlled by CX and CR sensor capacitances is exploit. Good protection against the moist and dusty ambient air and surrounding electromagnetic parasitic fields is achieved. The new pressure transducer is typically prepared for paper industry, chemical industry, medicine appliances and pharmacy: designed to 0... 10 kPa up to 0... 6 MPa pressure ranges, accuracy according to IEC 60770 0,5% FSO (BFSL: 0,25% FSO. Its ceramic sensor features high resistance against aggressive medias (e.g. acids and lye) due to its ceramic surface directly in contact with the media. The embedded microcontroller covers the IEEE 1451 functionality.
This paper presents an approach to industrial sensor ne tworking that offers a reusable design pa... more This paper presents an approach to industrial sensor ne tworking that offers a reusable design pattern for a class of sensor-based applications. It deals with an inte grated, sensor networking framework stemming from the IEEE 1451 smart transducer interface standard, an object-based networking model, complemented by publish-subscribe paradigm, a pattern communication approach to group messaging, and by the Internet Protocol
The pressure transducer was researched to reach the IEEE 1451 functionality, better pressure rang... more The pressure transducer was researched to reach the IEEE 1451 functionality, better pressure ranges and lower price. It is typically prepared for paper and chemical industry, medicine appliances and pharmacy: designed to 0 ... 10 kPa up to 0 ... 6 MPa pressure ranges, accuracy according to IEC 60770 0.5% FSO. The ceramic diaphragm for pressure sensing is applied and
ISA/IEEE Sensors for Industry Conference, 2004. Proceedings the, 2004
Page 1. SlcodO4 - Sensas for Industry Conference New Orleans, Louisiana, USA, 27-29 January 2004 ... more Page 1. SlcodO4 - Sensas for Industry Conference New Orleans, Louisiana, USA, 27-29 January 2004 Sensor Analysis of Liquid Pollution Jiri Haze', Jan Krejc?, Radimir Vrba', Miroslav Sveda' 'Bmo University of Technology, Bmo ...
This paper deals with a formal specification approach that supports the design of small, real-tim... more This paper deals with a formal specification approach that supports the design of small, real-time embedded applications with distributed architectures. After discussing the notion of local time and its role in computer science and software engineering, the next section of the paper reviews an original specification language dedicated to local-time concepts. The next contribution consists in treating a real world,
The European Commission and the US Department of Education FIPSE Program have funded ATLANTIS ini... more The European Commission and the US Department of Education FIPSE Program have funded ATLANTIS initiative to promote collaboration in the higher education between European and American universities. The goal of the project was to create a new collaborative multinational model for interdisciplinary education in real-time software engineering. The project had not only created a framework for introducing new components to engineering programs but also had proposed a methodology for development of multinational, multidisciplinary engineering program. The purpose of this paper is to summarize the experience gained with this international project.
The European Commission and the US Department of Education have funded ATLANTIS initiative to pro... more The European Commission and the US Department of Education have funded ATLANTIS initiative to promote collaboration in the higher education between European and American universities. In this paper, the authors present a brief description of one of the funded projects. The goal of the project is to create a new collaborative multinational model for interdisciplinary education in real-time software engineering. The proposed study will lead to creation of an international curriculum framework focusing on important aspects of this multidisciplinary computer/system/control/software engineering education.
Rapid progress of computing technologies is the major reason that the programs like electronics, ... more Rapid progress of computing technologies is the major reason that the programs like electronics, computer and software engineering, robotics and control engineering need continuous updates. This paper is related to the development of an international curriculum in real-time software engineering. It focuses on identification of skills, attitude and knowledge the students need to acquire to become efficient engineers working in the field. To facilitate this objective, a survey administered to industry representatives in four countries is described and its results are discussed.
This paper addresses the problem of educating software engineering professionals who can efficien... more This paper addresses the problem of educating software engineering professionals who can efficiently and effectively develop real-time software intensive control systems in the global community. A framework for developing curricula that support such education is presented. The curriculum framework is based on the work of two education projects: the ILERT (international learning environment for real-time software intensive control system) project, and the software engineering efforts of the ACM/IEEE-CS joint task force on computing curricula. The authors describe a curriculum framework that integrates principles, content, and organization from the two projects, and which satisfies the intent and requirement of both projects.
This paper provides an overview and a comparison of several international projects which focus on... more This paper provides an overview and a comparison of several international projects which focus on research and development of international computing curricula. The projects address computer based systems in general and more specifically the area of real-time software intensive control systems. Issues related to the analysis, design, implementation and assessment of such curricula are discussed. The paper also deals with the exchange of students and faculty between international academic institutions.
This paper provides an overview and a comparison of two educational projects which focus on resea... more This paper provides an overview and a comparison of two educational projects which focus on research and development of international computing curricula. The projects address the area of real-time software intensive control systems where the demand for highly educated and responsible engineers is highly evident. Issues related to the analysis, design, implementation and assessment of such curricula are discussed. The paper also deals with the exchange of students and faculty between international academic institutions, which is the major key to accomplish a truly globalized form of education that may face the new industrial demands.
Due to heavily software-centric nature of modern reactive and time-critical systems, there is an ... more Due to heavily software-centric nature of modern reactive and time-critical systems, there is an increasing demand for efficient development of high quality Real-Time Software-Intensive Control systems (RSIC). The study discussed in this paper is focused on the creation of international curriculum framework centered on RSICthis important aspect of the computer-system-control-software engineering education. The study explores the mechanism for involving students from multilingual geographically separated institutions in a coordinated educational experience. It exposes them to the problems, methods, solution techniques, infrastructure, technologies, regulatory issues, and tools in the domain of dependable real-time safety-critical software-intensive control systems. The ultimate objective is the creation of a model RSIC curriculum, which can be used by engineering schools both in the USA and the EU.
Uploads
Papers by Miroslav Sveda