범용 시스템 언어

Universal systems language

범용 시스템 언어(USL)는 소프트웨어 및 기타 복잡한 시스템의 사양 및 설계를 위한 시스템 모델링 언어이자 공식 방법입니다.그것은 Margaret Hamilton이 아폴로 [1]프로그램을 위한 비행 소프트웨어를 작성한 경험을 바탕으로 디자인했습니다.이 언어는 Hamilton Technologies,[2] Inc.의 001 Tool Suite 소프트웨어를 통해 구현됩니다.USL은 001AX에서 발전했습니다.차례로 AXE에서 진화한 ES는 모두 해밀턴의 제어 공리에 기반을 두고 있습니다.001 Tool Suite는 라이프사이클 개발 프로세스를 위해 DBTF(Develop Before the Fact)라는 예방 개념을 사용합니다.DBTF는 개발 프로세스 중 오류를 가능한 한 조기에 제거하므로 사후 오류를 찾을 필요가 없습니다.

철학

USL은 Hamilton이 Apollo 소프트웨어 [3][4]개발 중 발생하는 패턴 또는 오류 범주를 인식한 데서 영감을 받았습니다.

USL 문법에는 특정한 정확성 [5]보장이 포함되어 있습니다.

일부 사용자들은 USL을 다른 [6]공식 시스템보다 더 사용하기 쉬운 것으로 간주합니다.소프트웨어에 대한 형식주의일 뿐만 아니라 물리적 공간 및 이벤트 타이밍과 같은 문제 영역의 공통 요소에 대한 온톨로지를 정의합니다.

통제 이론의 형식주의

[7][8]

원시 구조는 새로운 추상적인 보편적 구조, 기능 또는 유형을 도출하는 데 사용될 수 있다는 점에서 보편적입니다.새로운 객체(즉, 구조, 유형 및 기능)를 도출하는 과정은 구성형 이론에서 새로운 유형을 도출하는 과정과 동일합니다.

그림. 1 세 가지 원시적인 제어 구조와 그 규칙은 FMaps와 Tmaps로서 시간과 공간의 영역에서 지도를 구성하기 위한 보편적인 기초를 형성합니다.

실행

USL과 자동화된 소프트웨어 시스템인 001 Tool Suite(001)를 함께 개발하는 과정은 다음과 같습니다. USL로 시스템을 정의하고, 001의 분석기로 정의를 자동 분석하여 USL이 올바르게 사용되었는지 확인하고, 001의 생성기로 설계 및 모든 구현 코드를 자동으로 생성합니다.[9][9][10][11][12]USL은 다른 [13]언어에 공식적인 지원을 제공하는 데 사용될 수 있습니다.

참고 항목

레퍼런스

  1. ^ M. Hamilton과 W. R. Hackler, "범용 시스템 언어: 아폴로로부터 배운 교훈", IEEE 컴퓨터, 2008년 12월.
  2. ^ 001 툴 제품군(1986-2020)
  3. ^ Margaret H. Hamilton, Hamilton Technologies (September 27, 2012). ""Universal Systems Language and its Automation, the 001 Tool Suite, for Designing and Building Systems and Software" Lockheed Martin/IEEE Computer Society Webinar Series".
  4. ^ Hamilton, Margaret H. (2018). "What the Errors Tell Us". IEEE Software. 35 (5): 32–37. doi:10.1109/MS.2018.290110447. ISSN 0740-7459. S2CID 52896962.
  5. ^ Dolha, Steve, Chiste, Dave, "웹을 위한 원격 질의 시스템: 분산 시스템 개발 관리", 32장, 인터넷 관리, 편집자 Jessica Keys, Auerbach, 2000.
  6. ^ Krut, Jr., B., "기능 지향 도메인 분석 방법론에 001 도구 지원 통합"(CMU/SEI-93-TR-11, ESC-TR-93-188), 피츠버그, SEI, 카네기 멜론 대학교, 1993.
  7. ^ Hamilton, M., "Inside Development Before the Fact", 커버스토리, 특별 편집 부록, 8ES-24ES.일렉트로닉 디자인, 1994년 4월
  8. ^ 해밀턴, M., "001: 사실을 실천하기 전에 완전한 라이프 사이클 시스템 엔지니어링 및 소프트웨어 개발 환경 개발", 커버 스토리, 특별 편집 보충판, 8ES-24ES.일렉트로닉 디자인, 1994년 4월
  9. ^ Ouyang, M., Golay, M.W. 1995, 매사추세츠 공과대학교, 캠브리지, 매사추세츠, 보고서 번호 MIT-ANP-TR-035.
  10. ^ SPC(Software Productivity Consortium), (SPC)(1998), 객체 지향 방법 및 도구 조사, VA Hendon.SPC-98022-MC, 버전 02.00.02, 1998년 12월
  11. ^ Max Schindler (1990) 컴퓨터 지원 소프트웨어 설계, John Wiley & Sons, 1990.
  12. ^ 국방부 (1992).소프트웨어 엔지니어링 도구 실험-최종 보고서, Vol. 1, 실험 요약, 표 1, 페이지 9. 전략적 방어 이니셔티브, 워싱턴 D.C.
  13. ^ Hamilton, M. Hackler, W.R., "SysML을 위한 공식 범용 시스템 의미론, 17차 연례 국제 심포지엄, INCOSE 2007, 캘리포니아 샌디에이고, 2007년 6월.

진일보한 내용

  • Hamilton, M., Zeldin, S. (1976), "고차 소프트웨어 - 소프트웨어 정의 방법론", 소프트웨어 엔지니어링에 관한 IEEE Transactions, vol. SE-2, no. 1, 1976년 3월.
  • 해밀턴, M. (1994년 4월)"사실보다 내부 개발" (커버스토리)특별 편집 부록. 8ES-24ES.전자 설계.
  • 해밀턴, M. (1994년 6월)"001: 완전한 라이프 사이클 시스템 엔지니어링 및 소프트웨어 개발 환경"(커버스토리).특별 편집 부록. 22ES-30ES.전자 설계.
  • 해밀턴, M. 해클러, W.R.(2004), DI-GNU(Deep Integrated Guidance Navigation Unit) 공통 소프트웨어 아키텍처 원칙(개정판 dec-29-04), DAAE30-02-D-1020 및 DAAB07-98-D-H502/0180, NJ, 2003–2004.
  • 해밀턴, M. and Hackler, W.R.(2007), "예방 시스템 엔지니어링을 위한 범용 시스템 언어", Proc. 5th Ann. Conf. Systems Eng. Res. (CSER), Stevens Institute of Technology, 2007년 3월, 논문 #36.
  • 해밀턴, M.; 해클러, W. R. (2007)."SysML을 위한 공식 범용 시스템 의미론". 2007년 6월 캘리포니아 샌디에이고, INCOSE 2007 제17회 연례 국제 심포지엄.

외부 링크

위키미디어 공용에는 범용 시스템 언어와 관련된 미디어가 있습니다.