1 Presentasi Hasil Penelitian RUTI Developing Technology for Specifying and Generating Critical Data...

8
1 Presentasi Hasil Penelitian RUTI Developing Technology for Specifying and Generating Critical Data Processing Programs by Tim Fasilkom UI

Transcript of 1 Presentasi Hasil Penelitian RUTI Developing Technology for Specifying and Generating Critical Data...

Page 1: 1 Presentasi Hasil Penelitian RUTI Developing Technology for Specifying and Generating Critical Data Processing Programs by Tim Fasilkom UI.

1

Presentasi Hasil Penelitian RUTI

Developing Technology for Specifying and Generating Critical

Data Processing Programs

by Tim Fasilkom UI

Page 2: 1 Presentasi Hasil Penelitian RUTI Developing Technology for Specifying and Generating Critical Data Processing Programs by Tim Fasilkom UI.

2

Agenda:Review of the project (problems statements)The proposals;Long term goals;Achievements;Details presentations;Discussions

Page 3: 1 Presentasi Hasil Penelitian RUTI Developing Technology for Specifying and Generating Critical Data Processing Programs by Tim Fasilkom UI.

3

Review of the projects: Problem Statements

In the information era, many of the human tasks have been completely or partially replaced by computer systems. The number of existing application programs is significant and grows extremely quickly. Industrial companies and other institutions often need to change their computer system as the complexity of their problem increase.

Page 4: 1 Presentasi Hasil Penelitian RUTI Developing Technology for Specifying and Generating Critical Data Processing Programs by Tim Fasilkom UI.

4

Review of the projects: Problem Statements

The need to modernize legacy system is primarily driven by three factors: – expansion of the system’s functionality; – improved maintainability of the system using modern

tools and techniques; – and reduction of operational costs and improved

reliability by replacing obsolete hardware suites with high-speed, open-architecture systems

Page 5: 1 Presentasi Hasil Penelitian RUTI Developing Technology for Specifying and Generating Critical Data Processing Programs by Tim Fasilkom UI.

5

Review of the projects: Problem Statements

Writing a language transformation tool used to be complicated, unreliable, expensive. The technique is mastered only by few, which is why such a tool is expensive.

Page 6: 1 Presentasi Hasil Penelitian RUTI Developing Technology for Specifying and Generating Critical Data Processing Programs by Tim Fasilkom UI.

6

The Proposals

Develop specification language suitable to critical data processing;Verification tools;Specation language to Implementable language (Java) transformerIntegrate those into Integrated Development Environtments (IDEs)

Page 7: 1 Presentasi Hasil Penelitian RUTI Developing Technology for Specifying and Generating Critical Data Processing Programs by Tim Fasilkom UI.

7

Long Term Goals

Develop Indonesia's competitive strength on software development,especially on the key factors: robustness and correctness, of the software productby applying the latest technology innovation to solve the current problems.

Page 8: 1 Presentasi Hasil Penelitian RUTI Developing Technology for Specifying and Generating Critical Data Processing Programs by Tim Fasilkom UI.

8

Achievements

Language of specification (muPL Lingu)Critical module analysis, specification and verification of SET application (SPMB)Lingu Library for HOL Theorem Prover;LinguSQL (IDEs including transformer to Java);Publications and presentations; Next : Details presentations