Automotive Post-Collision Control Software System: Requirements and Verification

2021 ◽  
Vol 47 (8) ◽  
pp. 735-745
Author(s):  
J. R. Aguilar Cisneros ◽  
C. A. Fernández-y-Fernández ◽  
Genaro de la Rosa García ◽  
A. León
2010 ◽  
Vol 34 (1) ◽  
pp. 3-8 ◽  
Author(s):  
Junichi Tokuda ◽  
Gregory S. Fischer ◽  
Simon P. DiMaio ◽  
David G. Gobbi ◽  
Csaba Csoma ◽  
...  

2005 ◽  
Vol 15 (3) ◽  
pp. 403-430 ◽  
Author(s):  
VICTOR M. GULIAS ◽  
MIGUEL BARREIRO ◽  
JOSE L. FREIRE

In this paper, we present some experience of using the concurrent functional language Erlang to implement a distributed video-on-demand server. For performance reasons, the server is deployed in a cheap cluster made from off-the-shelf components. The demanding system requirements, in addition to the complex and ever-changing domain, suggested a highly flexible and scalable architecture as well as a quite sophisticated control software. Functional programming played a key role in the development, allowing us to identify functional abstractions throughout the system. Using these building blocks, large configurations can be defined using functional and process composition, reducing the effort spent on adapting the system to the frequent changes in requirements. The server evolved from a prototype that was the result of a project supported by a regional cable company, and it is currently being used to provide services for real-world users. Despite our initial concerns, efficiency has not been a major issue.


2016 ◽  
Vol 40 (1) ◽  
pp. 94-107
Author(s):  
Xin Wang ◽  
Hai-bin Zhao ◽  
Yan Xia ◽  
Hao Lu ◽  
Bin Li

2008 ◽  
Author(s):  
Emanuel Rossetti ◽  
Ernesto Oliva ◽  
Livia Origlia

Sign in / Sign up

Export Citation Format

Share Document