Traditionally, transactions are flat and atomic possessing the ACID properties. The traditional ACID transaction model has clear limitations in new application domains where transactions often are long-running and require properties that go beyond ACID. Structuring a long-running transaction as an ACID transaction will impede both performance and concurrency. To meet extended and varying transactional ...

In this thesis, we have explored the possibility of bringing CSP-like concurrency modeling to an embedded environment. With the growth of IoT and embedded software, many of the hardships that come with concurrent coding in an inherently event-driven environment become more apparent. Convoluted and complex code is often used to handle the many fallacies of concurrency. We are solving this problem by ...