Functional Programming in Embedded Systems and Soft Computing

Embedded computer systems are rapidly gaining more and more ground, from stand alone systems to networked based systems with complex logic. The primary goal of embedded systems is to provide a reliable service over a period of time without any kind of intervention. These systems are mainly programmed in low level languages and are often the subject of software flaws inherited from unsafeness of these languages. The purpose of our research is to develop safe, secure, verifiable software for these systems, without significant performance loss. With the use of functional paradigm we are able to rapidly develop elegant code and solve complex tasks with ease.