IEEE第四屆國際複雜系統工程研討會
郭大維
國立中正大學資訊工程學系
IEEE第四屆國際複雜系統工程研討會八十七年八月十日至八月十四日假美國舊金山灣區蒙特利市(Monterey)與1998年軟體工程標準會議一同舉行。本屆之IEEE第四屆國際複雜系統研討會係由義大利之Politencrico di Milano與美國之Lawrence Livermore National Lab與Army Research Lab共同舉辦。並由IEEE Computer Society之複雜計算技術技術委員會(Technical Committee on Complexity in Computing)贊助協辦。
此次國際複雜系統工程研討會與1998年軟體工程標準會議共同舉辦，有來自世界各國數百人與會，全程大多以平行多軌的方式舉行討論與論文發表。筆者參加複雜系統工程研討會之部份，而此部份共分為十四個sessions，共有十二篇精選之論文發表及多場演講與討論會。與會者在複雜系統部份分別來自美國、法國、德國、義大利、瑞士、澳大利亞、日本及中華民國等地。中華民國由筆者代表中正大學出席發表論文一篇。
與IEEE第四屆國際複雜系統工程研討會同時舉行之1998年軟體工程標準會議首先在八月十日上午開始。而IEEE國際複雜系統工程研討會則於當日註冊並在晚上舉行歡迎晚會。在十一日上午所展開之演講以軟體工程(software engineering)經驗及軟體可靠性(reliability)為主體。講員除討論在南加州大學所從事之數位化圖書館計畫之經驗外，亦探討軟體可靠化之模型與預測方式，令筆者收穫豐富。講員就軟體可靠度機率的計算與模型及資料的互動深入淺出的講解。在目前電腦系統大量使用於工商業及日常生活用品(包括汽車、飛機、ATM機器)的狀況下如何有效預測平均系統崩潰時間(Mean-Time-To-Failure)及有限時間中之系統崩潰率格外重要。但由於外界因素極多，此類研究常常做簡化之假設，如〝崩潰事件間不存在相關性〞而導致平均崩潰時間與崩潰率(Hazard Rate)之估算在許多應用上並不準確。十日下午為論文報告議程，論文內容包括分散式系統中群組(group)之建立方法，程序(process)排程，系統效能估算，系統描述，與筆者所報告之〝以軟體重用為觀念快速建造系統監視軟體〞。其中筆者最感興趣為〝最大化最小完成時間間隔之即時排程〞，該研究以系統中多處理機工作平均分配(multiprocessor load balancing)為起點，擴張所有程序在CPU上之間隔以空出足夠之CPU idle時間供其它程序使用。此方法截然不同於傳統之即時排程法則，可用於許多應用如〝分散工作時間以避免系統擁塞〞之排程。瑞士學者所提出之Petri Net系統描述方法亦有極大應用，此方法亦廣為許多國內外學者專家應用在多媒體軟體中各媒體(media) streams之synchronization定義與控制。但在系統時間性質(timing properties)上之證明則具有太高之複雜性，不易掌握。
在第二日之演講議程為資訊系統之發展策略與系統描述語言之發展而論文發表議程則以複雜系統結構為主題。在此同時亦有二軌之軟體工程標準研討同時進行。筆者所參加的議程以複雜系統為主，其中在軟體系統結構上許多演講講員及論文報告者多次提及其重要性。一個系統之軟體結構起於高層定義結構(high-level structure definition)以供一個大組織或公司中人員互動之介面與基礎，其不僅提供系統工程師思考及分析系統性質亦提供系統實作之基礎，而講員亦簡單介紹各種結構描述語言如〝WRIGHT〞，〝Rapide〞，〝Unicon〞，與〝ACME〞。其可正規(formally)描述系統並做系統驗證(verification)，在軟體結構設計之快速發展與經驗累積下在軟體結構了解(understanding)，測試(testing)，再工程(re-engineering)，維持(maintenance)，及重用(reuse)之研究將更相形重要。在第三日之議程以系統錯誤管理(fault management)為主軸，而錯誤管理正為安全性嚴格(safety-critical)嵌入(embedded)軟體設計上最重要考慮因素之一。在實作發展前，如何有效掌握可能之錯誤因素及保持適當之功能要求(functional requirements)至為重要。以往之許多研究亦證實正規方法(formal method)在有效描述系統，找尋錯誤，規格與實作轉換(transformation between specification and programs)及降低系統發展時程上有許多助益。而講員所談與以往之研究亦透露正規方法在使用上之問題，如abstraction上需要高度技巧，表達方式(notations)不易瞭解，及正規論證(formal proof)上之困難。雖然如此，許多大公司如AT&T亦全力發展此項技術以證明其所使用或將採用之protocol之正確性，確保它們在專門領域如telecommunication上之持續領先地位。
在最後一日之議程主要總結本會議所談之重要問題與探討複雜系統之何去何從。會議需要各參加者提出自己的看法，定義何謂複雜系統，研究及實作應思考及著重的地方。本次議會有效聚合工業界及學業界之專家學者共聚一堂。除研究技術及交流外，亦讓筆者在軟體發展技術上收穫良多，不虛此行。
IEEE第四屆國際複雜系統工程研討會為IEEE組織中複雜系統技術委員會下最重要之會議。與會者來自世界各地，論文水準高，故建議貴會能繼續補助及鼓勵專家學者與會，除擴大各國與國內之研究與技術交流，並發揮適當的影響力。
筆者攜回IEEE第四屆國際複雜系統工程研討會之論文集一冊共約129頁及演講者投影片影本二份。