1 (ERTSDP) ERTSDP (Embedded Real-Time Systems Design Pattern) (1)

Transcription

1 [ ] ERTSDP [ ] UML 1 Liskov [1-4] Gamma 25 [5] GammaBruce Douglas UML [6] ERTSDP Bruce Douglass 2 (ERTSDP) 2.1 [7-9] (problem) QoS (solution) (consequences) 2.2 ERTSDP (Embedded Real-Time Systems Design Pattern) QoS (1) 1

2 (2) QoS QoS Min [ QoSFeature j * Weight j ] Weight j j QoSFeature (1) [6] (application domain) (user interface domain)(communication domain) (abstract OS domain) (abstract hardware domain) (QoS) QoS (2) ERTSDP Activity sequence ERTSDP 3 ERTSDP Use Case 2

3 PLC 3.2 NetWeb NetIO RemoteClient( 2) NetWeb / NetIO ( ) ( ) RemoteClient NetWeb NetIO RS485 NetWeb RemoteClient socket NetWeb Linux uclinux+rtai 3

4 NetWeb NetIO RemoteClient Graphical User Interface RS485 Bus Communication Internet Abstract HW RTAI Linux uclinux NetWeb OS uclinx+rtai NetWeb 3 4

5 NetWeb Gather Real-time App KernelInit Transfer {2} {4} Receive Non-Real App Store {6} Socket 485Driver {3} AlarmKernel {5} AlarmUser {1} UserInit {7} {8} Linux RTAI uclinux RT-COM SHM MAIL BOA Sched Sched Libsf FIFO NetWeb NetWeb KernelInit UserInit ( ) KernelInit UserInit Store UserInit ( {1} ) KernelInit 485Driver UserInit ( {3} {2} ) UserInit NetWeb Gather 485Driver API 32 NetIO Transfer RTAI RT_SHM ( {4}) Receive RT_SHM Store Socket AlarmKernel RTAI RT_FIFO ( {5}) AlarmUser AlarmUser

6 non-real process shm real-time process A: read datum A: suspends A: read(not finished) B: write datum B: write(finished) A: resumes A: continues to read RTAI SHM RT_SHM ( ) lock ( 4) (QoS) 6

7 sender rqueue rsemaphore receiver A evrun A insert(datum) unlocked A lock()return TRUE A store(datum) locked A B B ( A ) B lock(){suspends} B remove() B evrun A return A B A store(datum) (continues) A release() unlocked B lock() {resumes} B get(datum) locked B ( A ) B B release() unlocked B return 5 4 ERTSDP NetWeb NetWeb NetIO / RS 485 NetWeb AI ( ) DO AO 7

8 5 ERTSDP References [1] Barbara H. Liskov and Jeannette M. Wing, A Behavioral Notion of Subtyping, ACM Transactions on Programming Languages and Systems, November [2] Barbara Liskov and Jeannette M. Wing, Family Values: A Behavioral Notion of Subtyping, CMU-CS (supersedes CMU-CS and CMU-CS ). [3] Barbara Liskov and Jeannette M. Wing, Specifications and Their Use in Defining Subtypes, Proc. of OOPSLA '93, September [4] Barbara Liskov and Jeannette M. Wing, A New Definition of the Subtype Relation, Proc. of the European Conference on Object-Oriented Programming '93, Springer-Verlag LNCS 707, July 1993, pp Also CMU-CS , April 1993; MIT LCS Programming Methodology Group Memo 76, May [5] Gamma, Erich, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Reading, MA: Addison-Wesley, [6] Bruce Power Douglass. Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems. Pearson Education, Inc, publishing as Addison Wesley Professrional, Copyright [7] Boehm, Barry, Ellis Horowitz, Ray Madachy, Donald Reifer, Bradford Clark, Bert Steece, A. Winsor Brown, Sunita Chualani, and Chris Abts. Software Cost Estimation with Cocomo II. Upper Saddle River, NJ: Prentice Hall, January [8] Lea, Doug. Design Patterns for Avionics Control Systems, [9] OOPSLA 2001, Workshop on Patterns in Distributed Real-Time and Embedded Systems, ACM, October [10] Douglass, Bruce Powel. Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks and Patterns, Reading, MA: Addison-welsey, [11] D. Schmidt, M. Stal, H. Rohnert, F. Buschmann. Pattern-Oriented Software Architecture, Volume 2: Patterns for Concur-rent and Networked Objects (Wiley, 2001). ck_summersun@163.com 8

9 9