FACULTY OF ENGINEERING ELECTRONICS AND COMPUTER SCIENCE DEPARTMENT MPhil/PhD Transfer Report Mixed Control/Data-Flow Representation for Modelling and Verification of Embedded Systems

This paper presents the design of a platform for teaching majority of courses in the embedded computer engineering curriculum. The learning platform is a result of the E2LP project whose main idea is to provide a unified platform which will cover a complete process for embedded computer systems learning. The main body of the platform is the base board with FPGA connected to a wide range of inte...

Over the past decade the development of computer games – which originated in academia with the creation of Spacewar at MIT in 1961 – has evolved into an accepted academic discipline, closely related to the field of computer graphics. Games courses can be found embedded in traditional computer science degrees or as dedicated degree programmes for students aiming to work in the games industry. In...

Annotation of programs using embedded Domain-Specific Languages (embedded DSLs), such as the program annotation facility for the Java programming language, is a well-known practice in computer science. In this paper we argue for and propose a specialized approach for the usage of embedded Domain-Specific Modelling Languages (embedded DSMLs) in Model-Driven Engineering (MDE) processes that in pa...

The center has a strong record, which now spans for over 32 years, of scientific merits on both basic and applied research on computer vision. It has achieved ground-breaking research results in many areas of its activity, including texture analysis, facial image analysis, geometric computer vision, and energy-efficient architectures for embedded systems. The mission of the center is to develop...

The engineering discipline of dependable system design is not a new one, but is probably more important now then ever before. The concept of embedded computer systems in practically every consumer device, medical equipment, transport systems, and communication system makes the design of highly reliable systems, critical. There are a number of differing ideas on the concepts of high-reliability ...

This paper discusses auspicious methods for the implementation of intelligent solutions for embedded systems. An embedded system is a computer system designed to perform a dedicated or narrow range of functions with a minimal user intervention. An intelligent system is a system that is able to react appropriately to changing situations without user input. Main challenges for intelligent solutio...

This paper describes an undergraduate major stream in Software Engineering embedded in a four year Bachelor of Computer Systems Engineering Degree. This major allows students to specialize in Software Engineering in their third and fourth years, with the result that some 60% of their time is dedicated to Computer Science and Software Engineering. This contrasts with the post graduate Master's p...

Distributed embedded computing systems are special-purpose computer systems designed for particular applications and set up in a networked or distributed manner. A practical application domain for such a distributed system setup is the domain of wireless sensor network (WSN) applications. In this thesis, studies of architectures, applications, and methodologies for distributed embedded systems ...