[FM-India] DIAS-2017 Call for Paper

Madhavan Mukund madhavan at cmi.ac.in
Tue Nov 22 17:11:43 IST 2016

DIAS 2017 - 
Development aspects of Intelligent Adaptive Systems (DIAS)
2017, Jaipur, India)
ISEC was formerly known as Indian Software Engineering Conference.

The proposed workshop is a continuation of the workshop titled Software
Architectures for Adaptive Autonomous Systems, 
co-located with ISEC-2016, Goa, India. The focus of the earlier workshop was to
explore the architectural elements of 
software which can exhibit intelligent behavior essential to manage and operate
large and complex systems. 
The scope of the proposed workshop is more holistic. In this, we want to
explore the distinguishing characteristics 
of the life-cycle phases of adaptive software including design and

The motivation for the subject of the workshop is derived from the Internet of
Things (IoT), which is revolutionizing 
all domains of industry and society through an unprecedented proliferation of
cyber-physical systems and their integration 
using a variety of communication protocols. Potential to create high value
solutions due to digitalization of everything is 
highly perceived especially in use-cases surrounding users as in Smart Cities,
industrial manufacturers (robots, drones, 
3-D printers, Industry 4.0), automotive (autonomous cars from Google, Tesla),
service operators (e.g. transport) and government 
authorities. The remarkable value proposition in these systems is derived from
(1) the knowledge and insight about the world 
gained from the prodigious amount of data using the sensing capability and (2)
automatic control of the systems to affect 
changes to the systems and environment through the actuation capability, of the
IoT devices. 

On the contrary, IoT based systems are incredibly complex; this complexity in
the management and operation of these systems 
arises out of not only the sheer scale but also the variety and mobility of the
constituent devices and their integration 
through innovative applications. Consequently, since all the states of the
system and the environment cannot be foreseen as 
design time, there is a growing trend towards designing such systems as can
adapt to the changing requirements, internal state 
and the environments. Such adaptive systems need to be autonomous – they learn
the need for change without an external (manual) 
trigger and integrate the changed behavior through self-* (self-configuring,
self-managing, self-healing) mechanisms. 

Since the paradigm of adaptivity and the architectural elements such as
learning and decision making are completely different 
from the traditional software development, there is a pressing need to have
rigorous methodologies to specify, develop and test 
such systems. This is necessary from the perspectives of optimizing the system
performance across the changes during the system 
run-time and more critically, from the point of view of ensuring safety and
developing confidence in the intelligent systems, 
taking note of the accidents involving autonomous cars from Google and Tesla,
and a number of accidents involving robots in the 
industry, leading to fatalities.

In this workshop, we want to analyze and understand the impact of the new
paradigm on the different phases of the life cycle 
of adaptive software and explore interesting solutions, frameworks and
algorithms to address the new challenges. This includes 
the formal specification of requirements of adaptivity, design and
architectural patterns to help develop adaptive systems 
exhibiting real-time performance, formal verification of such systems against
the requirements, test generation and execution, 
runtime verification and debugging support which must now take into account the
evolving nature of the system and environment 
since otherwise, one would be testing or debugging an obsolete system.

There have been attempts to address these questions in the literature, albeit
in simpler systems that were not autonomous. 
The adaptivity requirements have been specified as transition invariants,
formal languages temporal logics) to specify the 
structural and behavioural change in the programs. Reference architectures have
been suggested to design and implement 
adaptive systems: MAPE-K, Adaptive Enterprise, PELEA, SOA-PE are some examples.
A huge body of literature for 
planning and replanning in problem solving domains provides algorithms for
adaptivity in systems, through formal specification 
of domains and problems (e.g. using standardized languages like PDDL) and a
host of search techniques and tools. 
However, there is a distinct void in the space of requirement specification,
formal verification, run time verification and 
debugging of the adaptive autonomous systems. 

The purpose of this workshop is to enumerate these issues, survey the recent
and propose possible solutions. Another important purpose is to consolidate a
local community including academicians and industrial 
practitioners for symbiotic research interaction in the field of adaptive
systems and intelligent software.
It will comprise of invited papers as well as a few invited talks in the area.

Call for paper
We invite technical papers describing original and unpublished results of
empirical, and experimental work in the area of intelligent, adaptive systems.
The workshop will 
provide a platform for researchers and practitioners to meet and share
advancements in the field.  Submissions are invited in all aspects of building
systems including but not limited to, the following:
. Requirements specification
. Software Architecture
. Multi-agent systems
. AI planning techniques
. Dynamic planning
. Execution monitoring and control systems
. Process specification and management
. Leveraging analytics for autonomous systems
. Verification and testing

However, the focus of the workshop being intelligent, adaptive systems, the
must address problems that are relevant to the aspect of adaptivity in these
and not address problems for general systems.

There are two tracks in the workshop: (1) the regular paper track will require
of novel problems and/or novel solution approaches in the scope of the
workshop, (2) the
work-in-progress track will include on-going work or innovative ideas in order
encourage the presenters with early feedback and giving opportunity for

All manuscripts will be reviewed by the Program Committee and evaluated on
relevance of the problem to the workshop, technical strength, rigor in
analysis, quality 
of results, and organization and clarity of presentation of the paper. Authors
are highly 
encouraged to list the key contributions of their paper. This should be in a
paragraph in the introduction to the paper.

Submitted papers must represent original unpublished research that is not
currently under 
review for any other conference or journal.

Regular Papers should not exceed 6 pages for the main text (including figures,
appendix etc.) in standard 
ACM format ((hyperlink: http://www.acm.org/publications/article-templates/
Work-in-progress papers should be 2-3 pages long in the same format.

To submit manuscripts, click here ((hyperlink: https://easychair.org/
to take you to the EasyChair submission site.

All accepted papers will be given the opportunity of a presentation at the
workshop and the 
papers will be published as part of proceedings in CEUR (hyperlink: http://

Important Dates
Submissions Due January  8, 2017
Review Notification January 18, 2017
Final camera ready Papers due February 1, 2017
Workshop day February 6, 2017 

General Co-Chairs
Swarup Mohalik, Ericsson, Bangalore
Meenakshi D’souza, IIIT, Bangalore
Mahesh Babu, Ericsson, Bangalore
Ramamurthy Badrinath <ramamurthy.badrinath at ericsson.com>; 

Program Committee
Ramamurthy Badrinath, Ericsson
Sudarsan SD, ABB
Meenakshi D'Souza, IIIT, Bangalore
Mahesh Babu Jayaraman, Ericsson Research, Bangalore
Swarup Kumar Mohalik, Ericsson Research, Bangalore
Nanjangud C Narendra , Ericsson Research, Bangalore
Aneta Vulgarakis, Ericsson Research, Sweden

For any questions on the workshop contact any of the organizers below:

Swarup Mohalik (Swarup.Kumar.Mohalik at ericsson.com)
Mahesh Babu (Mahesh.Babu at ericsson.com)
Meenakshi D’Souza (Meenakshi.Dsouza at iiitb.ac.in)

For registration and other inquiries contact the organizers of ISEC 2017.

More information about the FMIndia mailing list