Multiparty Session Types (MPST) are a well-established typing discipline for message-passing processes interacting on sessions involving two or more participants. Session typing can ensure desirable properties: absence of communication errors and deadlocks, and protocol conformance. However, existing MPST works provide a subject reduction result that is arguably (and sometimes, surprisingly) re...

Background: Agile techniques recently have received attention from the developers of safety-critical systems. However, a lack of empirical knowledge of performing safety assurance techniques, especially safety analysis in a real agile project hampers further steps. Aims: In this article, we aim at (1) understanding and optimizing the S-Scrum development process, a Scrum extension with the integ...

Since September 11, 2001, airport screening procedures in the US have been continuously evolving. For example, the passenger screening process is now trying to strike a balance between security and customer service (i.e. minimizing wait times). This balancing act has important implications not only for passenger safety, but also for the financial stability of an airline industry that is faced w...

Technological approaches for detecting and monitoring fatigue levels of driver fatigue continue to emerge and many are now in the development, validation testing, or early implementation stages. Previous studies have reviewed available fatigue detection and prediction technologies and methodologies. As the name indicates this project is about advanced technologies in cars for making it more int...

In this paper, efforts are made to compare the safety of steel moment resistant frames designed according to different editions of the Iranian code of Practice for seismic resistant design of buildings. Also, failure risk of a low and medium height frame which designed for high and low seismicity regions according to three editions of the code are evaluated. First, the testing cases were design...