[CfP] Journal of Computer Languages Special Issue: Computer Languages for the IoT

by Frederic Loulergue, March 24, 2022

Nowadays, the Internet of Things (IoT) software has become a new area of applications. Billions of connected devices and services are in use, and their number is continuously growing. Safety-critical software have been studied for decades now. But the interconnection of the devices they execute on raises new challenges. Moreover, IoT applications rely on complex software which is not amenable to only one verification technique.

Apologies for the cross-postings. 

Special Issue on  "Computer Languages for the Internet of Things" 

Journal of Computer Languages (COLA, Elsevier)

Guest editors:

  • Frédéric Loulergue, LIFO, Université d’Orléans, France 
  • Frédéric Dabrowski, LIFO, Université d’Orléans, France 

Context and Topics

For the IoT to improve outcomes in critical systems, such as healthcare devices and autonomous vehicles, it is necessary for their software to sustain a high level of trust: both security and reliability are necessary for such systems. This can be obtained through the design of domain specific languages which provide the right level of abstraction, thus offering alternatives to well-established languages such as C and C++. Other approaches may rely on specification languages, program logics and static analysis tools to prove properties about programs. Beyond the usual functional properties that such tools can prove, IoT systems are also concerned by temporal properties as well as resource consumption. Reliability must be studied at the level of individual devices as well as the level of interconnected devices through coordination languages. Model-based software engineering is also relevant in this context. 
The main goal of this special issue is to gather the most recent theoretical and practical studies on the design, implementation and application of computer languages and associated tools in the context of the Internet of Things. 

Topics of interest include, but are not limited to: 

 * programming languages and libraries for the IoT, 
 * resource aware programming languages for the IoT, 
 * dynamic and static analysis for the IoT, 
 * specification languages and verification for the IoT, 
 * languages for the security of the IoT, 
 * studies on non-specific IoT languages used in an IoT context, 
 * energy consumption and programming languages, 
 * model-based design and analysis of IoT systems. 

Important Dates

 * Avril 15, 2022: Deadline for registering interest in making a submission (by 
 * May 31, 2022: Full paper submission deadline 
 * July 20, 2022: Notification to authors 
 * September 20, 2022: Submission deadline for revised papers 
 * December 20, 2022: Camera ready final manuscripts