(4 slides per page) - Updated

More documents

Recommendations

Info

Overview Phase 10 Introduction Notations Java Implementation of modules Module Tests Procedure Example - TLC Example - SBC Phase 11 Phase 12 Summary Overview Phase 10 Introduction Notations Java Implementation of modules Module Tests Procedure Example - TLC Example - SBC Phase 11 Phase 12 Summary Executing Phase 10 In general, the procedure to implement and test software components using an object oriented programming languages can be described as follows: 1. Create interface classes for all internal interfaces (also for subcomponents). 2. Create classes for all (sub-)components and implement them. Implement actions as private methods. Implement the state machine. Implement the active classes with threads. Check all classes if there is a concurrent access to complex variables and resolve this problem with the synchronized statement. 3. Implement test cases for all components (except HAL) according to the sequence diagrams of Phase 8. 4. Run test cases. Remarks II The software components are implemented using some simple heuristics. For embedded systems, usually a static connection between components is established. The connectors in the composite structure diagrams can be implemented e.g. as data streams, method calls, asynchronous messages, or hardware access. This development process allows developing statically linked software components with the capability of reuse. 37 / 89 39 / 89 Overview Phase 10 Introduction Notations Java Implementation of modules Module Tests Procedure Example - TLC Example - SBC Phase 11 Phase 12 Summary Overview Phase 10 Introduction Notations Java Implementation of modules Module Tests Procedure Example - TLC Example - SBC Phase 11 Phase 12 Summary Remarks I Only the software components are implemented in this phase. They will be connected / integrated in the next phase. The validation of this phase is <strong>per</strong>formed by running the test cases. The HAL is difficult to test because the hardware is directly connected to the HAL. Therefore, manual tests using measurement equipment and debugging tools should be <strong>per</strong>formed. Real-time functionality must be tested in an emulator. Example 1: traffic light control 38 / 89 40 / 89
Overview Phase 10 Introduction Notations Java Implementation of modules Module Tests Procedure Example - TLC Example - SBC Phase 11 Phase 12 Summary Overview Phase 10 Introduction Notations Java Implementation of modules Module Tests Procedure Example - TLC Example - SBC Phase 11 Phase 12 Summary Create interface classes lights_state_if main_red () sec_red () main_yellow () sec_yellow () main_green () sec_green () main_yellow_red () sec_yellow_red () all_off () Implement actions as private methods package tlc; public interface lights_state_if { public void main_red(); public void sec_red(); public void main_yellow(); public void sec_yellow(); public void main_red_yellow(); public void sec_red_yellow(); public void main_green(); public void sec_green(); public void all_off(); } 41 / 89 package tlc; public class TimeOutTimer implements ms_clock, set_timeout { IsZero() ... pre true post Result = true ⇔ remaining time = 0 private long remaining_time = 0; ... private boolean IsZero() { return (remaining_time == 0); SetTime(x) } pre time ≥ 0 private void SetTime(long time) { assert (time >= 0): "PRE: SetTime"; post remaining time = x remaining_time = time; DecTime() } private void DecTime() { pre remaining time = 0 assert remaining_time!=0: post remaining time = "PRE: DecTime"; remaining time@pre −1 remaining_time = remaining_time - 1 ; } } 43 / 89 Overview Phase 10 Introduction Notations Java Implementation of modules Module Tests Procedure Example - TLC Example - SBC Phase 11 Phase 12 Summary Overview Phase 10 Introduction Notations Java Implementation of modules Module Tests Procedure Example - TLC Example - SBC Phase 11 Phase 12 Summary Create classes for all (sub-)components ms_clock C_TimeOutTimer −remainingTime: Long − SetTime (Time: Long) − IsZero (): Boolean − DecTime () set_timeout timeout package tlc; public class TimeOutTimer implements ms_clock, set_timeout { private timeout to; private long remaining_time = 0; public TimeOutTimer(timeout timeout_par) { to = timeout_par; } public void SetTimeOut(int seconds) {} public void MsClock() {} private void SetTime(long time) {} private boolean IsZero() {} private void DecTime() {} } All methods of all provided interfaces have to be implemented (here: SetTimeOut, MsClock). An empty function body ({}) is used to avoid error messages of the compiler. Implement the state machine as public methods I TimeOutTimer / SetTime(0) Stopped MsClock () SetTimeOut (seconds) / SetTime (seconds * 1000) [IsZero()] / TimeOut () [ELSE] SetTimeOut (seconds) / SetTime (seconds * 1000) Running MsClock () / DecTime() 42 / 89 44 / 89
Page 1 and 2: Overview Phase 10 Phase 11 Phase 12
Page 3 and 4: Overview Phase 10 Introduction Nota
Page 9: Overview Phase 10 Introduction Nota
Page 17 and 18: Overview Phase 10 Phase 11 Introduc
Page 23: Overview Phase 10 Phase 11 Phase 12

(4 slides per page) - Updated

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?