Metasepi Plan for Chiers/Bohai iteration

Company: Metasepi
Start: February 1, 2017
Finish: December 28, 2017
Report Date: June 23, 2017

Gantt Chart

WBS Name Work
     
1 Survey Meteor 13d 4h
2 ChibiOS poster 7d
3 c2ats poster 3d
4 PPL2017 poster
5 Survey GObject Introspection 12d
6 GObject Introspection for ATS 20d
7 Write paper 20d
8 静的コード解析の会 #2
9 ML Workshop 2017 CFP?
10 Survey ATS nodejs package 5d
11 Sample Meteor app 10d
12 Survey ATS on Japascript 10d
13 ATS SPA framework 30d
14 Tweet count SPA application 30d
15 静的コード解析の会 #3 @名古屋
16 Translate VeriFast tutorial 106d 4h
17 Deadline of Functional Ikamusume
18 Survey NetBSD Rump 22d 3h
19 Work on FreeRTOS 20d
20 Setup FreeRTOS environment
21 Secure OS prototype1 42d
22 Demo meeting
23 Secure OS prototype2 41d
24 Choose RTOS for demo 7d
25 Write demo spec 5d
26 Write requirement 5d
27 Create bridge between Client/TA 15d
28 Maintain interrupt on TEE 10d
29 Watch REE from TEE 15d
30 Fix external API 5d
31 Fix internal API 5d
32 Write test code/doc 15d
33 Start to write demo
34 Write demo 30d
35 Start to port demo on uFOX
36 Port demo on uFOX 53d
37 1st demo release
38 VeriFast on production 21d
39 Survey clang parser 50d
40 Survey VeriFast internal 20d
41 C99 compat VeriFast 80d
Week 6, 2017 Week 7, 2017 Week 8, 2017 Week 9, 2017 Week 10, 2017 Week 11, 2017 Week 12, 2017 Week 13, 2017 Week 14, 2017 Week 15, 2017 Week 16, 2017 Week 17, 2017 Week 18, 2017 Week 19, 2017 Week 20, 2017 Week 21, 2017 Week 22, 2017 Week 23, 2017 Week 24, 2017 Week 25, 2017 Week 26, 2017 Week 27, 2017 Week 28, 2017 Week 29, 2017 Week 30, 2017 Week 31, 2017 Week 32, 2017 Week 33, 2017 Week 34, 2017 Week 35, 2017 Week 36, 2017 Week 37, 2017 Week 38, 2017 Week 39, 2017 Week 40, 2017 Week 41, 2017 Week 42, 2017 Week 43, 2017 Week 44, 2017 Week 45, 2017 Week 46, 2017 Week 47, 2017 Week 48, 2017 Week 49, 2017 Week 50, 2017 Week 51, 2017 Week 52, 2017
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 1 2 3

Tasks

WBS Name Start Finish Work Complete Cost Assigned to
1 Survey Meteor Feb 1 Feb 20 13d 4h 0%
2 ChibiOS poster Feb 20 Mar 1 7d 0%
3 c2ats poster Mar 1 Mar 6 3d 0%
4 PPL2017 poster Mar 8 Mar 8
5 Survey GObject Introspection Mar 6 Mar 22 12d 0%
6 GObject Introspection for ATS Mar 22 Apr 19 20d 0%
7 Write paper Apr 19 May 17 20d 0%
8 静的コード解析の会 #2 May 1 Apr 29
9 ML Workshop 2017 CFP? May 18 May 18
10 Survey ATS nodejs package May 17 May 24 5d 0%
11 Sample Meteor app May 24 Jun 7 10d 0%
12 Survey ATS on Japascript Jun 7 Jun 21 10d 0%
13 ATS SPA framework Jun 21 Aug 2 30d 0%
14 Tweet count SPA application Aug 2 Sep 13 30d 0%
15 静的コード解析の会 #3 @名古屋 May 29 May 28
16 Translate VeriFast tutorial Feb 1 Jun 29 106d 4h 0%
17 Deadline of Functional Ikamusume Jun 30 Jun 30
18 Survey NetBSD Rump Sep 13 Oct 13 22d 3h 0%
19 Work on FreeRTOS Feb 1 Feb 28 20d 100%
20 Setup FreeRTOS environment Mar 1 Mar 1
21 Secure OS prototype1 Mar 1 Apr 27 42d 100%
22 Demo meeting Apr 28 Apr 28
23 Secure OS prototype2 Apr 28 Jun 23 41d 50%
24 Choose RTOS for demo Jun 26 Jul 4 7d 0%
25 Write demo spec Jul 5 Jul 11 5d 0%
26 Write requirement Jul 12 Jul 18 5d 0%
27 Create bridge between Client/TA Jul 19 Aug 8 15d 0%
28 Maintain interrupt on TEE Aug 9 Aug 22 10d 0%
29 Watch REE from TEE Aug 23 Sep 12 15d 0%
30 Fix external API Sep 13 Sep 19 5d 0%
31 Fix internal API Sep 20 Sep 26 5d 0%
32 Write test code/doc Sep 27 Oct 17 15d 0%
33 Start to write demo Sep 15 Sep 15
34 Write demo Sep 15 Oct 26 30d 0%
35 Start to port demo on uFOX Oct 16 Oct 16
36 Port demo on uFOX Oct 16 Dec 27 53d 0%
37 1st demo release Dec 28 Dec 28
38 VeriFast on production Apr 28 May 26 21d 50%
39 Survey clang parser May 29 Aug 4 50d 10%
40 Survey VeriFast internal Aug 7 Sep 1 20d 0%
41 C99 compat VeriFast Sep 4 Dec 22 80d 0%

Resources

Name Short name Type Group Email Cost