1. Last update: 17 February 2011 by Ade Azurat
Supported by : Hibah Riset Kompetensi
DRPM - Universitas Indonesia
2011
Weekly Meeting – 17 February 2011: Finalize the Team and Possible Future Work and Grant Support
Last update: 17 February 2011 by Ade Azurat
Formal Method in Software Engineering Faculty of Computer Science – University of Indonesia

2. Agenda Review Last Week Progress The Team
Future Work and Grant Support
Discussion

3. The Team Job Desc Tool TextBE: Ferdi, Vit, Erik
Case Study: Iis, Amin, Zaki
Code Generator (long term): Arwin
Bayu ???
Formalization: Niken (HOL), Zaki (DC)
Administration: Niken, Vit, Erik, Ferdi

4. Tool TextBE: Ferdi, Vit, Erik
Work closely with Toby.
Code contribution
Month 1: Exploration (except Erik)
Month 2: Experiment
Month 3: Testing, simple case study
Month 4: Final Report (except Erik)

5. Case Study: Iis, Amin, Zaki
We decide to have another case study.
The evaluation of “gate tol system”.
It is an automatic car detection in the gate tol.
Two design are given, we would like to see how Behaviour tree could help us detect errors or verify the correctness.

6. Iis' Task Studying the design. Formulate it in Behaviour Tree
Define formally some correctness property.
Verify those property.

7. Amin's Task Continue the E-Passport case study
Studying the refinement of tree.
On completion in behaviour tree, compare it with the UML.

8. Zaki's Task Studying duration calculus.
Studying the car detection system from Iis.
Formulate Iis's specification in duration calculus.
Prove it in duration calculus.

9. Arwin's Task
We would like to investigate the possibility to cotribute in code generator.
We need to study the semantic which is in process algebra.
Arwin will learn the process algebra this semester (Independent study) and code generator for next semester (Master Thesis)

10. Niken's Task
Currently BT doesn't have theorem prover support. Niken will learn about HOL theorem prover. Starting from Iis's previous work on TLA+ in HOL.
We would like to continue this work, and later see if BT could be formalized in HOL.
Hafidz and Agra, have similar task for their final project under Ade's supervision

11. Administration's Task
Pipit: Meeting notes, scheduling, update project homepage
Ferdi : Source Code Repository
Niken: Future proposal, document repository
Erik: system, software/hardware, backup

12. Bayu's Task ???

13. Project Goal: Assesment of BT
Road map
in BT by Iis
Tol Gate's Car Detection System
Specification and verification
Applicability
of BT for large
systems
in DC by Zaki
E-Passport
By Amin
Comparison with previous approach using UML
Project Goal: Assesment of BT
By Arwin
Study the
semantic
in process
algebra
code
generator
By ??
Enriching
tool
support
Model Checking support ? by Ferdi
Tool Support -
Contribution to
Toby's TextBe
Structured Tree ? by Vit
Language and Visualization ? by Erik
Formalization
in HOL By Niken
Test Generator
By Merryl

14. Bsc. Final Project's Supervisor
Ferdi, Vit: Ade, Mursanto
Erik: Heru
Niken: Ade, Bela

15. Graduate Project's Supervisor
Bayu: Mursanto
Arwin: Mursanto
Zaki: Bela
Iis: Mursanto

16. Future
Grant support constraint
Topic and target
Roadmap
Partner
Todo

17. Constraints Administration: 25 Feb 2011 Proposal : 11 Maret 2011
Require support from industrial partner
Big team with related expertise, min. 6

18. Topic and target
Quality Assurance support for Reverse Engineering using Behaviour Tree. PIC → Bela
Language & Tool Support → Heru
Requirement Engineering → Eko
Reverse Engineering → Mursanto
QA using Formal Method → Ade

19. Road map – Future Work Propose Tool Support Products Validation and
verification
Code Generator
Reverse
engineering
Reliable and
Self created
Products
Specification and Design
Documented in
Behavior Tree
Industrial Requirement

20. Partner We need letter of intent from: UQ → Peter Lindsay via Sentot
Industrial Partner → ?? via Mursanto

21. Todo for future grant Revise the previous proposal
Assemble Team (Faculty Staf)
Urgent: Letter of intent from partner
Urgent: Fill in the registration form for grant competition.
Urgent: Consult the guidelines

22. Closing