RISE >

RISE

From $1

    rise_medium.png ercim_small.png

    Rapid Integration of Software Engineering techniques
    ERCIM Working Group

    Objectives of the WG

    The main aim of the proposal is to conduct research on providing new, integrated and practical Software Engineering approaches that are part of a methodological framework and that apply to new and evolving applications, technologies and systems.

    Here are some explanations of some of the keywords of the RISE WG definition:

    • Integrated: we would like that the WG works on research subjects that helps to solve the integration of different SE techniques. It appears that in SE research many techniques are under development and they are often obliged to be integrated with complementary approaches (research on development process definition and architecture engineering, architectural frameworks and architecture description languages, reuse and software architecture, reuse and test techniques, modeling languages and semantics, …). We think that working on integration of SE techniques is a challenging theme that will :
      • ease the collaborations between ERCIM partners
      • raise targeted/applicative/technological research problems on each of the integrated techniques as well on the novel integrated solution.
      • Allow to jointly develop new and powerful solutions covering several aspects of the software engineering process.
    • Practical: we want to focus on the concrete application of the solutions proposed. Researches in Software Engineering should provide solutions that will support the development process in order to master and ease it. We believe that concrete statements of the problems to be addressed and real situations in which the problems exist must be presented in order to focus our researches on real world problems and concrete solutions. This does not mean that fundamental research is excluded; it means that fundamental problems must be raised and solved in a manner that preserves efficiency and usefulness. But linked with the previous notion of integration we will be able to provide researches for the mid term (researches that are 3 to 6 years long). More fundamentals researches will be raised by the WG and treated by the partners outside of the WG
    • New: the objective is to focus the research on new SE techniques, methods and tools that have to be applied in the context of new and existing paradigms and development technologies. The idea is also to work on how providing SE solutions that could be proposed and used before the need for them. Since ICT is a sector that evolves rapidly the RISE WG must not work on providing solutions for problems that will no more exist when the solutions will be applicable (we do not want to transfer the so called software crisis of the 60's to the SE crises). Thus, it is up to the RISE working group to help to conduct researches on a new approach to SE that should help in building SE solutions for new and evolving systems.
    • Methodological guide: we believe that software engineering solutions should always come with a minimum of methodological support. Thus we would like that the WG would work on the definition of the notion of methodological support and that the outcomes proposed by the WG should quite always be given together with a methodological support.

    Sub domains of interest

    In order not to consider all the scope of software engineering, the RISE working group focuses on the following sub domains:

    • Softwares/Systems Architectures
    • Reuse
    • Testing
    • Model Transformation/Model Driven Engineering
    • Requirement Engineering
    • Lightweight formal methods
    • CASE tools

    Specific Applications Domains and Industry sectors

    The RISE working group limits also its researches to specific application domains for the problems and solutions it proposes. The starting application domains proposed are:

    • Web systems
    • Mobility in Communication Systems
    • high availability systems
    • Embedded systems

    Some specific industry sectors will be given priority, these are:

    • financial & insurance
    • telecommunications
    • avionics, automotive
    • eGovernment

    Constraints on contribution

    In order to have a coherent set of contributions, the RISE WG encourages the following constraints to be applied on its proposals:

    • A clear statement of the research problems addressed must be provided
    • At least 2 approaches should be proposed for integration
    • A methodological guideline should be proposed
    • A tool support should be provided
    • A validation example should illustrate the proposal

    These constraints have to be considered as final objectives for the proposals submitted to the WG. Of course, an incremental approach will be followed in order to be able to organize the research work. Furthermore, the working group will address problems and propose solutions that will participate in a limited way to these objectives but we want to stress out that these partials approaches should be presented w.r.t. a global coherent perspective that respects the constraints of the WG.

    Alternatives

    An alternative to the RISE proposal, would be to set up a WG on one theme that could be ONE of the following:

    • System/Software Architecture
    • Model Driven Engineering

    Intersection with the FMICS Working group

    The main interests of the RISE WG is clearly not formal methods but we must mention that, as we want to promote scientific approaches to software engineering, we will have to make use of so-called formal methods. This use in included in what we called "·Lightweight formal methods". The idea behind is to make use of formal methods as long as their importance is limited in the researches proposed. We fully support solutions that has been developed in the formal methods domain and that have been adapted or used to develop SE techniques, methods or tools.
    There is an ERCIM WG that works on Formal Methods for Industrial Critical Systems (FMICS). This WG has been set up:

    • to bring together scientists mainly of, but not only of, institutions within ERCIM, who are active in the field of formal methods and are willing to exchange their experience in the industrial usage of formal methods.
    • to coordinate efforts in the transfer of the formal methods technology and knowledge to the industry.
    • to promote research and development for the improvement of formal methods and tools with respect to their usage in the industry.

    In order to inform the RISE members, please find below the list of research topics addressed by the FMICS working group:

    • Tools for the design and development of formal descriptions
    • Verification and validation of complex, distributed, real-time systems and embedded systems
    • Verification and validation methods that aim at circumventing shortcomings of existing methods in respect to their industrial applicability
    • Formal methods based conformance, interoperability and performance testing
    • Case studies and project reports on formal methods related projects with industrial participation (e.g. safety critical systems, mobile systems, object-based distributed systems)
    • Application of formal methods in standardization and industrial forums
    Tags: (Edit tags)
    • No tags
    Comments (0)
    You must login to post a comment.

     
    Powered by MindTouch